Homotopy Type Theory
Link to book.
Last modified: Tue Apr 7 19:21:07 BST 2015