Skip to content

Details

We'll be going over Exercise Sheet 3 from the MGS 2019 course on Lambda Calculus (http://www.duplavis.com/venanzio/mgs_lambda/index.html). Please try the exercises beforehand. Everyone will be welcome to share their solutions and discuss.

Members are also interested in