Hostname: page-component-8448b6f56d-c47g7 Total loading time: 0 Render date: 2024-04-24T07:54:38.749Z Has data issue: false hasContentIssue false
  • English
  • Français

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

Published online by Cambridge University Press:  08 September 2021

Benedikt Ahrens ,
Simon Huber  and
Anders Mörtberg
Get access Rights & Permissions [Opens in a new window]

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
Mathematical Structures in Computer Science , Volume 31 , Issue 1 , January 2021 , pp. 1 - 2
Check for updates
Copyright
© The Author(s), 2021. Published by Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)