APA (7th ed.) Citation

Wärn, D. (2023). Eilenberg-MacLane spaces and stabilisation in homotopy type theory.

Chicago Style (17th ed.) Citation

Wärn, David. Eilenberg-MacLane Spaces and Stabilisation in Homotopy Type Theory. 2023.

MLA (9th ed.) Citation

Wärn, David. Eilenberg-MacLane Spaces and Stabilisation in Homotopy Type Theory. 2023.

Warning: These citations may not always be 100% accurate.