Uemura, T. (2022). Homotopy type theory as a language for diagrams of $\infty$-logoses.
Style de citation Chicago (17e éd.)Uemura, Taichi. Homotopy Type Theory as a Language for Diagrams of $\infty$-logoses. 2022.
Style de citation MLA (9e éd.)Uemura, Taichi. Homotopy Type Theory as a Language for Diagrams of $\infty$-logoses. 2022.
Attention : ces citations peuvent ne pas être correctes à 100%.