Perspectives in Mathematical Sciences IV/II (Fall 2023)

Report

• Report problems, Deadline Tuesday 2024/01/30.

Course plan

1. (12/12) Lambda calculus: Syntax
   • course notes
2. (12/19) Simply-typed lambda-calculus
   • course notes
3. (12/26) Intuitionistic logic and the Curry-Howard isomorphism; System F.
   • course notes
4. (1/16) Lambda-cube and dependent types
   • course notes
5. (1/23) Logical lambda-cube