Eilenberg–Maclane spaces and stabilisation in homotopy type theory
Crossref DOI link: https://doi.org/10.1007/s40062-023-00330-5
Published Online: 2023-09-21
Published Print: 2023-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Wärn, David
Funding for this research was provided by:
University of Gothenburg
Text and Data Mining valid from 2023-09-01
Version of Record valid from 2023-09-21
Article History
Received: 9 January 2023
Accepted: 25 August 2023
First Online: 21 September 2023