University of Cambridge > > Churchill CompSci Talks > A History of Lambda Calculus

A History of Lambda Calculus

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2023, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity