Course Textbook
Andrew Ker has prepared excellent textbook-quality lecture notes for this course and we will use them.
Previous Offering
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.
Problem Sheets
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