Speaker: Prof. Martin Hyland (DPMMS)
Venue: Winstanley Lecture Theatre
Time: 28/01/2013 20:30, drinks from 20:15

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.