Introduction to homotopy type theory
Material for a course at the Types Summer School 2017 by Thorsten Altenkirch
Links
The book on Homotopy Type Theory
Lecture notes
(updated 14/7/17)
Last modified: Fri Jul 14 09:18:27 CEST 2017