Lectures on Type Theory (Zhaohui Luo; Tsinghua University, April 2011)
Lecture slides and associated distributions
- Lecture I (Introduction to typed lambda calculi)
- Lecture II (Propositions as types)
- Lecture III (Computational meaning and inductive types)
- Lecture IV (Subtyping in type theoreies with canonical objects)
- Lecture V (Type-theoretical semantics)
Back to Zhaohui Luo's home page.