Introduction to homotopy type theory

Material for a course at EWSCS 17 by Thorsten Altenkirch

Links

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

Lecture notes

• Part 1
• Part 2
• Part 3