|See the Course Information Sheet.|
Extra class time: We will have a make-up class on Tuesday,
November 26, from 10:30-11:30. We will meet in the usual classroom
Presentations: There will be 10 student presentations. Please see the schedule below.
Final exam: We decided to have the final exam on December 9, from 11–2. The exam will be in Chase 227 (second floor seminar room).
Reading: Strong Normalization (posted Nov 1). I am currently lecturing on the proof of the Strong Normalization Theorem. The proof can be found in Chapter 6 of "Proofs and Types", which is freely available for download (see "Links" below).
Midterm. Our midterm will be on Monday, October 21 in class. The midterm covers everything up to the October 11 class, i.e., up to and including the definition and typing rules of the simply-typed lambda calculus. This corresponds to Sections 1-4, 5.1, 5.2, and 6.1 of the lecture notes.
Office hours. My current office hours are Monday 1-2 and Wednesday 1-2.
No class on Monday, Sept 9. There will be no class on Monday, Sept. 9. See you all on Wednesday!
Welcome to the course (posted Sep 6). Here you will find assigments, any handouts, and other up-to-date information about the course.
Here are some possible topics for in-class presentations:
Lecture Notes: P. Selinger, "Lecture Notes on the Lambda
Calculus", available from
Handout 1: Lecture Notes on Polymorphism (Nov 23): [pdf].
Additional Reading: J.-Y. Girard, Y. Lafont and P. Taylor, "Proofs and Types", available from http://www.paultaylor.eu/stable/Proofs+Types.html.