Cita APA (7a ed.)

Gratzer, D., Gylterud, H., Mörtberg, A., & Stenholm, E. (2024). The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations.

Cita Chicago Style (17a ed.)

Gratzer, Daniel, Håkon Gylterud, Anders Mörtberg, y Elisabeth Stenholm. The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations. 2024.

Cita MLA (9a ed.)

Gratzer, Daniel, et al. The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations. 2024.