11 results
A general framework for the semantics of type theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 3 / March 2023
- Published online by Cambridge University Press:
- 24 July 2023, pp. 134-179
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Monoidal weak ω-categories as models of a type theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 8 / September 2023
- Published online by Cambridge University Press:
- 27 June 2022, pp. 744-780
-
- Article
- 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
Constructive sheaf models of type theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 9 / October 2021
- Published online by Cambridge University Press:
- 18 November 2021, pp. 979-1002
-
- Article
-
- You have access
- Open access
- Export citation
On generalized algebraic theories and categories with families
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 9 / October 2021
- Published online by Cambridge University Press:
- 18 October 2021, pp. 1006-1023
-
- Article
-
- You have access
- Open access
- Export citation
An interpretation of dependent type theory in a model category of locally cartesian closed categories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 5 / May 2021
- Published online by Cambridge University Press:
- 20 September 2021, pp. 469-494
-
- Article
- Export citation
Extensional constructive real analysis via locators
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 1 / January 2021
- Published online by Cambridge University Press:
- 02 September 2020, pp. 64-88
-
- Article
- Export citation
Modal dependent type theory and dependent right adjoints
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 2 / February 2020
- Published online by Cambridge University Press:
- 12 December 2019, pp. 118-138
-
- Article
- Export citation
Homotopy type-theoretic interpretations of constructive set theories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 1 / January 2021
- Published online by Cambridge University Press:
- 29 November 2019, pp. 112-143
-
- Article
- Export citation
Identity types and weak factorization systems in Cauchy complete categories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 29 / Issue 9 / October 2019
- Published online by Cambridge University Press:
- 29 March 2019, pp. 1411-1427
-
- Article
- Export citation
The generalised type-theoretic interpretation of constructive set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-103
- Print publication:
- March 2006
-
- Article
- Export citation