Week 2

Lecture slides

• Foundations and lambda calculus: pdf, key,

Recommended reading

• Textbook: section 4.1.2 and section 4.2
• Informal notes on the Y combinator
• Introduction to Lambda Calculus by Barendregt and Barendsen
• Ranjit Jhala's lambda calculus slides and the ELSA project.