University of Leicester

informatics

Logical Relations

This is a course webpage for MGS 2012 lectures on Logical Relations.
It will be updated following each lecture.


Content

The aim of the course is to survey various problems to which the technique of logical relations has been applied fruitfully.
This will include lambda definability, computational adequacy, strong normalisability as well as reasoning about contextual equivalence.

Slides


University of Leicester. Last modified: 26th April 2012, 15:51:52.
Informatics Web Maintainer. Any opinions expressed on this page are those of the author.