7 results
Bicategorical type theory: semantics and syntax
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 10 / November 2023
- Published online by Cambridge University Press:
- 17 October 2023, pp. 868-912
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
B-SYSTEMS AND C-SYSTEMS ARE EQUIVALENT
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 June 2023, pp. 1-9
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Bicategories in univalent foundations
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 10 / November 2021
- Published online by Cambridge University Press:
- 09 March 2022, pp. 1232-1269
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
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
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
Univalent categories and the Rezk completion
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 5 / June 2015
- Published online by Cambridge University Press:
- 19 January 2015, pp. 1010-1039
-
- Article
-
- You have access
- Export citation
Modules over relative monads for syntax and semantics
-
- Journal:
- Mathematical Structures in Computer Science / Volume 26 / Issue 1 / January 2016
- Published online by Cambridge University Press:
- 05 December 2014, pp. 3-37
-
- Article
- Export citation