OPLSS 2016
Bifibrational Parametricity
Patricia Johann
MFPS'15
paper
with appendix
Slides for Lecture 1
Exercises for Lecture 1
Slides for Lecture 2
Exercises for Lecture 2
Slides for Lecture 3
Exercises for Lecture 3
Slides for Lecture 4
Exercises for Lecture 4