Lambda Calculus and Types
Hilary Term 2025
Number of Students: 56
Andrew Ker has prepared excellent textbook-quality lecture notes for this course and we will use them.
Last year, Lambda Calculus and Types was taught by Bartek Klin and its course material is available here. I will also use his slides in many of the lectures.
Problems are chosen from Andrew Ker's Lecture Notes above.
Problem Sheet 1: Exercises 1.1, 1.2 (first part), 1.5, 1.6, 1.8, 1.10
Problem Sheet 2: Exercises 2.1, 2.2, 2.5, 2.9 (Can you define the normal terms using trees?), 2.11, 2.12
Problem Sheet 3: Exercises 3.1, 3.2, 3.5, 3.6, 3.7 (using 3.5 (ii)), 4.2
Problem Sheet 4: Exercises 4.1, 4.2, 4.4, 4.8, 4.9, 4.10
Problem Sheet 5: Exercises 5.1 - 5.4
Problem Sheet 6: Exercises 6.1, 6.2, 6.3, 6.4, 6.5, 6.8, 6.9
Problem Sheet 7: Exercises 7.1, 7.3, 7.4, 7.5, 7.6