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