BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Understanding the Lambda Calculus: 40 Years in the Dark - Prof Mar
 tin Hyland (DPMMS)
DTSTART:20130128T203000Z
DTEND:20130128T213000Z
UID:TALK42835@talks.cam.ac.uk
CONTACT:Mary Fortune
DESCRIPTION:The lambda calculus is the foundation for modern functional pr
 ogramming. The pure calculus first appeared in a paper by Alonzo Church in
  1932. I encountered it 40 years later\, but only 40 years after that did 
 I begin to understand what it is. The story is indicative of the nature of
  abstraction in mathematics.
LOCATION:Winstanley Lecture Theatre\, Trinity College
END:VEVENT
END:VCALENDAR