PDX Func Theory Track - Lambda Calculus

We'll be going through the MGS 2019 course on Lambda Calculus (http://www.duplavis.com/venanzio/mgs_lambda/index.html). To prepare for this meeting, you should read Chapter 3 of Constructing Infinity (http://www.duplavis.com/venanzio/mgs_lambda/construction_infinity_chapter3.pdf) and try your hand at Exercise Sheet 1 (http://www.duplavis.com/venanzio/mgs_lambda/mgs-lambda-exercises1.pdf).