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 listsReach for Control Project Pembroke Papers Type the title of a new list here## Other talksOpen IP in Emerging and Developing Economies C++11/14 - the new C++ Land of Eagles - Albania: from closed nation to wildlife paradise - where next? Treatment Centre Simulation Why Do We Need Another Biography of Hitler? |