https://e-booksdirectory.com/details.php?ebook=9155
Homotopy Type Theory by Peter Aczel, et al. - Download link
Homotopy Type Theory by Peter Aczel, et al. - free book at E-Books Directory. You can download the book or read it online. It is made freely available by its...
homotopy type theoryet aldownload linkpeter
https://www.kth.se/math/kalender/taichi-uemura-homotopy-type-theory-as-an-internal-language-of-a-diagram-of-infinity-logoses-1.1195730?date=2022-10-05&orgdate=2022-03-01&length=1&orglength=306
Taichi Uemura: Homotopy type theory as an internal language of a diagram of infinity logoses | KTH
homotopy type theoryinternal languagetaichidiagraminfinity