H hottheory.files.wordpress.com Homotopy Type Theory (2012) [pdf] 108 points luu 6 years ago 87 comments
