Understanding the Lambda Calculus: 40 Years in the Dark
Add to your list(s)
Download to your calendar using vCal
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 exdirectory lists are not shown.
