Perspectives in Mathematical Sciences III/I (Spring 2018)

Report

• Report problems, Deadline Tuesday 2018/07/10.

Course plan

1. (5/22) Lambda calculus: Syntax
   • course notes
2. (5/29) Simply-typed lambda-calculus
   • course notes
3. (6/5) Intuitionistic logic and the Curry-Howard isomorphism
4. (6/19) System F
   • course notes
5. (6/26) Lambda-cube and dependent types
   • course notes (link fixed!)