Report - Higher Inductive Types as Homotopy-Initial Algebrasreports-archive.adm.cs.cmu.edu/anon/2014/CMU-CS-14-101R.pdfIn addition, we can now show that higher inductive types are characterized

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form