University of Cambridge > Talks.cam > Junior Category Theory Seminar > Lambda Calculus and Cartesian Closed Categories

  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

Lambda Calculus and Cartesian Closed Categories

Download to your calendar using vCal

If you have a question about this talk, please contact Sean Moss .

I will give a very basic introduction to (typed) lambda calculus via the internal language of cartesian closed categories, outlining the proof that the two concepts are essentially the same. Afterwards I shall either discuss the untyped lambda calculus and its categorical counterpart or the internal logic of categories with more structure.

This talk is part of the Junior Category Theory Seminar series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Pfizer Lecture Theatre, Department of Chemistry, Lensfield Road Lecture Theatre, Dept of Plant Sciences, Downing Street INNER SPACE 6 KING’S PARADE CAMBRIDGE www.cambridge.inner-space.org

Other talks

Loke CTR Annual Meeting 2026 - Epigenetics of embryogenesis and placentation RNA-Mediated Regulation of Germinal Centre B-Cell Fitness: a tale of two DEAD-box RNA helicases Group Work From lab to clinic: an introduction to translational research Market Failure, Organ Shortage, Pandemic and Climate Change: The Architecture of Cooperation Title TBC
 

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