BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A History of Lambda Calculus - Robert Kovacsics\, St Catharine's C
 ollege
DTSTART:20141203T190000Z
DTEND:20141203T194000Z
UID:TALK56194@talks.cam.ac.uk
CONTACT:Jasper Lee
DESCRIPTION:The Lambda calculus can be viewed as the simplest functional p
 rogramming language. So why was it invented before the first fully program
 mable computer?\n\nIn this talk I will highlight the mathematical history 
 of the Lambda calculus and describe its development. Then I will show how 
 it gives a negative answer to the Entscheidungsproblem (decision problem).
 \n \nI will conclude with variants of the Lambda calculus that are used as
  models of programming languages\, for example ML.
LOCATION:Wolfson Hall\, Churchill College
END:VEVENT
END:VCALENDAR