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). We'll be reviewing Chapter 6 and Chapter 7 from Construction of Infinity, and Exercise Sheet 4.