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

Mer information

Skapat

2024-10-04