Fall 2013 Peter Selinger 
See the Course Information Sheet. 
Extra class time: We will have a makeup class on Tuesday,
November 26, from 10:3011:30. We will meet in the usual classroom
(Chase 319).
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 simplytyped lambda calculus. This corresponds to Sections 14, 5.1, 5.2, and 6.1 of the lecture notes. Office hours. My current office hours are Monday 12 and Wednesday 12. 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 uptodate information about the course. 

Here are some possible topics for inclass presentations:

Lecture Notes: P. Selinger, "Lecture Notes on the Lambda
Calculus", available from
http://arxiv.org/abs/0804.3434.
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. 