Report - yuki.systemsyuki.systems/hott.pdf · “Homotopy Type Theory: Univalent Foundations of Mathematics” c 2013 The Univalent Foundations Program Book version: first-edition-1186-gee8923a

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form