COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

## A History of Lambda CalculusAdd 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:Note that ex-directory lists are not shown. |
## Other listsCambridge Women Leadership for Learning: The Cambridge Network Statistical Laboratory Open Afternoon## Other talksNeural Networks and Natural Language Processing Intelligent Self-Driving Vehicles Automotive Public Opinion Cancer immunotherapy Girton College 57th Foundersâ€™ Memorial Lecture with Hisham Matar: Life and Work Title and date to be confirmed |