Welcome to E-Books Directory
This is a freely downloadable e-book.
Homotopy Type Theory by Peter Aczel, et al.
Read this book online or download it here for free
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.