BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The lambda calculus as an initial monad - Mathieu Huot
DTSTART:20160513T103000Z
DTEND:20160513T113000Z
UID:TALK69156@talks.cam.ac.uk
CONTACT:Ian Orton
DESCRIPTION:We will see how untyped lambda-calculus can be seen in categor
 y theory as a functor which is the initial object of the category of expon
 ential monads. One can also do a very similar work with simply-typed lambd
 a calculus. Every concept will be defined during the talk. This talk is ba
 sed on the article from Julianna Szido called 'Le lambda calcul vu comme m
 onade initiale'. 
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR