No CrossRef data available.
Article contents
Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations
Published online by Cambridge University Press: 08 September 2021
Extract
This issue of Mathematical Structures in Computer Science is Part I of a Special Issue dedicated to the emerging field of Homotopy Type Theory and Univalent Foundations.
- Type
- Paper
- Information
- Copyright
- © The Author(s), 2021. Published by Cambridge University Press