2 results
Special issue on homotopy type theory 2019 vol. 2
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 8 / September 2023
- Published online by Cambridge University Press:
- 11 September 2023, p. 660
-
- Article
-
- You have access
- HTML
- Export citation
Special issue on homotopy type theory 2019
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 10 / November 2021
- Published online by Cambridge University Press:
- 28 September 2022, pp. 1145-1146
-
- Article
-
- You have access
- HTML
- Export citation