Report - On Higher Inductive Types in Cubical Type Theory · Homotopy Type Theory = UTT + Higher Inductive Types Higher inductive types (˘2011) allow us to directly represent topological

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form