Eilenberg-MacLane spaces and stabilisation in homotopy type theory
Artikel i vetenskaplig tidskrift, 2023
Författare
David Wärn
Chalmers, Data- och informationsteknik, Computing Science
Journal of Homotopy and Related Structures
2193-8407 (ISSN) 1512-2891 (eISSN)
Ämneskategorier
Algebra och logik
DOI
10.1007/s40062-023-00330-5