BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Churchill CompSci Talks
SUMMARY:A History of Lambda Calculus - Robert Kovacsics\, 
 St Catharine's College
DTSTART;TZID=Europe/London:20141203T190000
DTEND;TZID=Europe/London:20141203T194000
UID:TALK56194AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/56194
DESCRIPTION:The Lambda calculus can be viewed as the simplest 
 functional programming language. So why was it inv
 ented before the first fully programmable computer
 ?\n\nIn this talk I will highlight the mathematica
 l history of the Lambda calculus and describe its 
 development. Then I will show how it gives a negat
 ive answer to the Entscheidungsproblem (decision p
 roblem).\n \nI will conclude with variants of the 
 Lambda calculus that are used as models of program
 ming languages\, for example ML.
LOCATION:Wolfson Hall\, Churchill College
CONTACT:Jasper Lee
END:VEVENT
END:VCALENDAR