Homotopy Type Theory Book

The HoTT Book: Homotopy Type Theory: Univalent Foundations of Mathematics has been released publicly. 

The book is a 600 page introduction to a new foundation of Mathematics and Computer Science based on a synthesis of concept from Computer Science and Mathematics in particular topology. Thorsten Altenkirch, Reader in Computer Science, is one of the authors of the book he worked on this project when spending his sabbatical at the Institute of Advanced Study in Princeton this year.