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

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Understanding the Lambda Calculus: 40 Years in the Dark

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 ex-directory lists are not shown.

Other lists

Department of Land Economy, Laundress Lane, Seminar Room 1 Webinar & LT2, Computer Laboratory, William Gates Building. Topology Seminar

Other talks

TBC Atmospheric Methane - rise, surge, and ongoing post-surge growth. Can we mitigate the rise, and can anything be done to reduce emissions? Arctic atlantification vs Atlantic Arctification Launch of The New Routledge Handbook of Political Ecology Neighbourhoods as Thorny Matters: A Qualitative Analysis of How Local Conditions Shape Mental Health and Everyday Life in Palestine Quantum graphs with a time asymmetry: spectral optimization and spectral statistics
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity