Ljungström, A., & Mörtberg, A. (2024). Computational Synthetic Cohomology Theory in Homotopy Type Theory.
Style de citation Chicago (17e éd.)Ljungström, Axel, et Anders Mörtberg. Computational Synthetic Cohomology Theory in Homotopy Type Theory. 2024.
Style de citation MLA (9e éd.)Ljungström, Axel, et Anders Mörtberg. Computational Synthetic Cohomology Theory in Homotopy Type Theory. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.