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