Naive Type Theory

Material for a course at MGS 17 by Thorsten Altenkirch

Links

• The book on Homotopy Type Theory
• The Agda system: download

Lecture notes

---

Last modified: Thu Jul 6 13:49:01 BST 2017