The following publications are possibly variants of this publication:
- Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations - Part IIBenedikt Ahrens, Simon Huber, Anders Mörtberg. mscs, 31(4):361-362, 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]