BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Lambda Calculus and Cartesian Closed Categories - Sean Moss (DPMMS
 )
DTSTART:20140123T140000Z
DTEND:20140123T150000Z
UID:TALK50481@talks.cam.ac.uk
CONTACT:Sean Moss
DESCRIPTION:I will give a very basic introduction to (typed) lambda calcul
 us via the internal language of cartesian closed categories\, outlining th
 e proof that the two concepts are essentially the same. Afterwards I shall
  either discuss the untyped lambda calculus and its categorical counterpar
 t or the internal logic of categories with more structure.
LOCATION:CMS\, MR13
END:VEVENT
END:VCALENDAR