Report copyright - Homotopy Type Theory - arXiv“Homotopy Type Theory: Univalent Foundations of Mathematics” c 2013 The Univalent Foundations Program Book version: first-edition-257-g5561b73 MSC 2010
Please pass captcha verification before submit form