A History of Lambda Calculus

Add to your list(s) Download to your calendar using vCal

• Robert Kovacsics, St Catharine's College
• Wednesday 03 December 2014, 19:00-19:40
• Wolfson Hall, Churchill College.

If you have a question about this talk, please contact Jasper Lee.

Last session of term

The Lambda calculus can be viewed as the simplest functional programming language. So why was it invented before the first fully programmable computer?

In 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).

I will conclude with variants of the Lambda calculus that are used as models of programming languages, for example ML.

This talk is part of the Churchill CompSci Talks series.

This talk is included in these lists:

• Churchill CompSci Talks
• Wolfson Hall, Churchill College
• computer science
• se393's list

Note that ex-directory lists are not shown.