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

University of Cambridge > Talks.cam > Trinity Mathematical Society > Understanding the Lambda Calculus: 40 Years in the Dark

## Understanding the Lambda Calculus: 40 Years in the DarkAdd to your list(s) Download to your calendar using vCal - Prof Martin Hyland (DPMMS)
- Monday 28 January 2013, 20:30-21:30
- Winstanley Lecture Theatre, Trinity College.
If you have a question about this talk, please contact Mary Fortune. The lambda calculus is the foundation for modern functional programming. The pure calculus first appeared in a paper by Alonzo Church in 1932. I encountered it 40 years later, but only 40 years after that did I begin to understand what it is. The story is indicative of the nature of abstraction in mathematics. This talk is part of the Trinity Mathematical Society series. ## This talk is included in these lists:Note that ex-directory lists are not shown. |
## Other listsQualitative Research Forum - Open meetings Professional Developent Series (Department of Archaeology) Economics and Philosophy## Other talksWhence the force of the law? John Rawls and the course of American legal philosophy Faster C++ ADMM for Exploiting Structure in MPC Problems Modelling discontinuities in simulator output using Voronoi tessellations THE MATHEMATICAL MAGIC OF MIXED REALITY Measuring interacting electrons in low dimensional systems: spin-charge separation and 'replicas & tbd |