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

https://eng-cam.zoom.us/j/84495932262?pwd=MlFJL3Z3c1JmenFOY2xJQTNPSzdsQT09 Room S1, Alison Richard Building, 7 West Road, University of Cambridge My seminars

Other talks

Bacterial Physiology During Growth Arrest: Can It Be Targeted by Anti-Bacterial Therapeutics? TBC Cambridge RNA Club - IN PERSON Optimal metric and approximation of free boundary minimal surfaces An Amphibious Urbanism | | Cut 4: The Desert Arrives Slowly Harnessing Radical Reactivity for Molecular Innovation
 

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