Preface: Advances in Homotopy Type Theory
Abstract We give a brief overview of the special issue of MSCS “Advances in Homotopy Type Theory.”
Authors
- Benno van den Berg (ORCID: https://orcid.org/0000-0002-0469-0788)
- Nicola Gambino (ORCID: https://orcid.org/0000-0002-4257-3590)
- Maria Emilia Maietti (ORCID: https://orcid.org/0000-0002-9198-066X)
- Thorsten Altenkirch (ORCID: https://orcid.org/0000-0002-6582-5025)
Institutions
- University of Padua (IT)
- University of Nottingham (GB)
- University of Manchester (GB)
- University of Amsterdam (NL)
Publication Details
- Journal
- Mathematical Structures in Computer Science
- Published
- 2024-10-01
- DOI
- https://doi.org/10.1017/s0960129524000410
- Primary Topic
- Homotopy and Cohomology in Algebraic Topology
- Type
- article
- Field-Weighted Citation Impact
- 0.00