Report - Unifying Cubical Models of Homotopy Type Theory · 2020-05-01 · Axioms for Modelling Cubical Type Theory in a Topos Orton, Pitts (2017) We also formalize it in Agda and for univalent

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form