BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Logical relations - Sean Moss (DPMMS)
DTSTART:20160225T140000Z
DTEND:20160225T150000Z
UID:TALK64836@talks.cam.ac.uk
CONTACT:Sean Moss
DESCRIPTION:The technique of logical relations is a powerful technique for
  proving meta-theorems about type theories. In the original form it was us
 ed to prove normalization results. It can also be used to prove results ab
 out the existence and disjunction properties of constructive logics\, the 
 canonicity of terms of recursive types\, and the parametricity of polymorp
 hism. I shall show how these syntactic arguments admit nice interpretation
 s as constructions on the categorical models of a theory.
LOCATION:CMS\, MR13
END:VEVENT
END:VCALENDAR