Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations - Part IIOpen Website

Benedikt Ahrens, Simon Huber, Anders Mörtberg

2021 (modified: 14 Mar 2023)Math. Struct. Comput. Sci. 2021Readers: Everyone
0 Replies