Oregon Summer School 2011, complementary notes
Pierre-Louis Curien · 2011
These notes are meant as complements to the paper (5) which served as backbone for most of the mate- rial covered in my lectures delivered at the Oregon Programming Languages Summer School 2011 Types, Seman- tics and Verification (videos should be soon available at http://www.cs.uoregon.edu/Activities/ summerschool/summer11/). In particular, we give a brief account of Munch-Maccagnoni's polarised classi- cal realisability (17).