The lambda calculus as an initial monad

Add to your list(s) Download to your calendar using vCal

• Mathieu Huot
• Friday 13 May 2016, 11:30-12:30
• Rainbow Room (FS07), Computer Laboratory.

If you have a question about this talk, please contact Ian Orton.

We will see how untyped lambda-calculus can be seen in category theory as a functor which is the initial object of the category of exponential monads. One can also do a very similar work with simply-typed lambda calculus. Every concept will be defined during the talk. This talk is based on the article from Julianna Szido called ‘Le lambda calcul vu comme monade initiale’.

This talk is part of the Logic & Semantics for Dummies series.

This talk is included in these lists:

• Logic & Semantics for Dummies
• Rainbow Room (FS07), Computer Laboratory
• tcw57’s list
• yk373's list

Note that ex-directory lists are not shown.