Back to top

A Bunched Homotopy Type Theory for Synthetic Stable Homotopy Theory

Riley, M. V. (2022). A Bunched Homotopy Type Theory for Synthetic Stable Homotopy Theory. Retrieved from https://doi.org/10.14418/wes01.3.139