Kolomatskaia, A., & Shulman, M. (2023). Displayed Type Theory and Semi-Simplicial Types.
Style de citation Chicago (17e éd.)Kolomatskaia, Astra, et Michael Shulman. Displayed Type Theory and Semi-Simplicial Types. 2023.
Style de citation MLA (9e éd.)Kolomatskaia, Astra, et Michael Shulman. Displayed Type Theory and Semi-Simplicial Types. 2023.
Attention : ces citations peuvent ne pas être correctes à 100%.