Introduction to homotopy type theory

Material for a course at the Types Summer School 2017 by Thorsten Altenkirch

Links

Lecture notes (updated 14/7/17)


Last modified: Fri Jul 14 09:18:27 CEST 2017