The following publications are possibly variants of this publication:
- Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent FoundationsBenedikt Ahrens, Simon Huber, Anders Mörtberg. mscs, 31(1):1-2, 2021. [doi]
- Cubical methods in homotopy type theory and univalent foundationsAnders Mörtberg. mscs, 31(10):1147-1184, 2021. [doi]
- Bicategories in univalent foundationsBenedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri, Niels van der Weide. mscs, 31(10):1232-1269, 2021. [doi]