Skip to content

Details

We'll be going through the MGS 2019 course on Lambda Calculus (http://www.duplavis.com/venanzio/mgs_lambda/index.html). No assignment for the first meeting, as we will go through the first set of lecture slides.

Members are also interested in