Logical Relations
This is a course webpage for MGS 2012 lectures on Logical Relations.
It will be updated following each lecture.
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.
|