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

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

A History of Lambda Calculus

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

CUES FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon Friends Meeting House, 91-93 Hartington Grove, Cambridge CB1 7UB

Other talks

The rise of local cartography in Europe, 12th-14th century Sheref Mansy, topic TBA Coming soon Welfare Reform and the Imperative of Cooperation Rothschild Public Lecture: The Quantum Centenary: from Order to Chaos Title to be confirmed
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity