Understanding the Lambda Calculus: 40 Years in the Dark

Add 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:

• Guy Emerson's list
• Trinity Mathematical Society
• Winstanley Lecture Theatre, Trinity College
• bld31

Note that ex-directory lists are not shown.