Introduction to homotopy type theory

Material for a course at EWSCS 17 by Thorsten Altenkirch

Links

Lecture notes

Complete notes in one pdf (including part 4).
Last modified: Fri Mar 24 13:24:43 GMT 2017