4 results
Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations – Part II
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 4 / April 2021
- Published online by Cambridge University Press:
- 17 January 2022, pp. 361-362
-
- Article
-
- You have access
- Export citation
Cubical methods in homotopy type theory and univalent foundations
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 10 / November 2021
- Published online by Cambridge University Press:
- 10 December 2021, pp. 1147-1184
-
- Article
-
- You have access
- Open access
- Export citation
Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 1 / January 2021
- Published online by Cambridge University Press:
- 08 September 2021, pp. 1-2
-
- Article
- Export citation
Cubical Agda: A dependently typed programming language with univalence and higher inductive types
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 06 April 2021, e8
-
- Article
-
- You have access
- Export citation