Surveys in Mathematical Sciences III/I (Summer 2012)

Report

• Report problems, Deadline Monday 2012/8/6.
  Corrected a second typo in problem B on 2012/7/28.

Course plan

(6/25) Lambda-calculus syntax and evaluation

• course notes

(7/2) Continued, and typed lambda-calculus

• course notes

(7/9) Typed lambda-calculus

(7/23) Second-order and dependent type systems

• course notes