LECTURE SLIDES

July 28, 2014

Isomorphisms of types in the presence of higher-order references
Pierre Clairambault
University of Bath

This web presentation contains the slides of a lecture given at the Fields Institute on June 22, 2011 as part of the 26th Annual IEEE Symposium on Logic in Computer Science.

You may browse the slides in the presentation (a browser capable of displaying PNG graphics is required). Or, you may download a higher-resolution printer-ready version in PDF format (requires Acrobat Reader).

Shown: slide 24, large size.   Previous Slide | Next Slide | Switch to small size

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 Image of Slide