Welcome to E-Books Directory
This is a freely downloadable e-book.

Homotopy Type Theory

Homotopy Type Theory
by Peter Aczel, et al.

Publisher: Institute for Advanced Study 2013
Number of pages: 599

The present work has its origins in our collective attempts to develop a new style of 'informal type theory' that can be read and understood by a human being, as a complement to a formal proof that can be checked by a machine.

Home page url

Download or read it online here:

Download link

 (3.2MB, PDF)


Download mirrors:
Mirror 1