PDX Func Theory Track - Lambda Calculus

We'll be wrapping up the MGS 2019 course on Lambda Calculus (http://www.duplavis.com/venanzio/mgs_lambda/index.html). For this meeting, please read the Lecture 5 slides and Chapter 8 of the draft book (linked from the above page). We'll start with the Chapter 8 section on Inductive Types and then cover the material on dependent types from the slides.