Lecture 4: Data Types and Recursion
Channel: Neelakantan Krishnaswami
Date: 2020-10-09

In this lecture we see how to add data and recursion to the simply typed lambda calculus without breaking consistency, and begin the introduction to System F, the polymorphic lambda calculus.