Hostname: page-component-76c49bb84f-65mhm Total loading time: 0 Render date: 2025-07-04T20:31:59.875Z Has data issue: false hasContentIssue false

Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations – Part II

Published online by Cambridge University Press:  17 January 2022

Rights & Permissions [Opens in a new window]

Abstract

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'

Information

Type
Editorial Preface
Copyright
© The Author(s), 2022. Published by Cambridge University Press