Eilenberg-MacLane spaces and stabilisation in homotopy type theory
Journal article, 2023

Author

David Wärn

Chalmers, Computer Science and Engineering (Chalmers), Computing Science

Journal of Homotopy and Related Structures

2193-8407 (ISSN) 1512-2891 (eISSN)

Subject Categories

Algebra and Logic

DOI

10.1007/s40062-023-00330-5

More information

Created

10/4/2024