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 listsAUB_Cambridge Seminars BSS Internal Seminars Reading Group on Principles of Neural Design## Other talksSkeletal Muscle Development in the Zebrafish Konrad Bajer Commemorative Symposium Soliton solutions for the elastic metric on spaces of curves Statistical Learning Theory Quaternary Discussion Group seminar Minimum Description Length |