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

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

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

Lambda Calculus and Cartesian Closed Categories

Add to your list(s) 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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Sidgwick Site Equalities Improvement Network Cambridge Global Health Year UK-Japan network for high-speed microscopy in cells Disability Inference Group Summary OWASP (Application Security) Cambridge Chapter Events & Conferences

Other talks

Alzheimer's talks 'Alas, poor Yorick!': Laurence Sterne's "A Sentimental Journey" after 250 years' Arriva Trains Wales by Tom Joyner Emulators for forecasting and UQ of natural hazards Atmospheric Structure Revealed by Refraction of Routine Radio Transmissions from Civil Aircraft. An SU(3) variant of instanton homology for webs The role of the oculomotor system in visual attention and visual short-term memory Single Cell Seminars (August) Protein Folding, Evolution and Interactions Symposium 'Politics in Uncertain Times: What will the world look like in 2050 and how do you know?
 

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