Eilenberg-MacLane spaces and stabilisation in homotopy type theory
Journal article, 2023
Author
David Wärn
Chalmers, Computer Science and Engineering (Chalmers), Computing Science
University of Gothenburg
Journal of Homotopy and Related Structures
2193-8407 (ISSN) 1512-2891 (eISSN)
Vol. 18 357-368Subject Categories (SSIF 2011)
Algebra and Logic
DOI
10.1007/s40062-023-00330-5