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
This will include lambda definability, computational
adequacy, strong normalisability as well as reasoning about contextual equivalence.