22 results
On Hofmann–Streicher universes
-
- Journal:
- Mathematical Structures in Computer Science , First View
- Published online by Cambridge University Press:
- 19 September 2024, pp. 1-17
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
FIRST-ORDER HOMOTOPICAL LOGIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 18 September 2023, pp. 1-63
-
- Article
-
- You have access
- HTML
- Export citation
The long exact sequence of homotopy n-groups
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 8 / September 2023
- Published online by Cambridge University Press:
- 07 September 2023, pp. 679-687
-
- Article
-
- You have access
- HTML
- Export citation
Univalent categories of modules
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 2 / February 2023
- Published online by Cambridge University Press:
- 23 June 2023, pp. 106-133
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Two-level type theory and applications
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 8 / September 2023
- Published online by Cambridge University Press:
- 30 May 2023, pp. 688-743
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A rewriting coherence theorem with applications in homotopy type theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 7 / August 2022
- Published online by Cambridge University Press:
- 06 February 2023, pp. 982-1014
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
On Church’s thesis in cubical assemblies
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 10 / November 2021
- Published online by Cambridge University Press:
- 21 March 2022, pp. 1185-1204
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Naive cubical type theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 10 / November 2021
- Published online by Cambridge University Press:
- 15 March 2022, pp. 1205-1231
-
- Article
- Export citation
Syntax and models of Cartesian cubical type theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 4 / April 2021
- Published online by Cambridge University Press:
- 17 January 2022, pp. 424-468
-
- Article
-
- You have access
- Open access
- Export citation
4 - Mathematics for AI: Categories, Toposes, Types
- from Part I - Computing
-
- Book:
- Mathematics for Future Computing and Communications
- Published online:
- 03 December 2021
- Print publication:
- 16 December 2021, pp 98-132
-
- Chapter
- 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
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
Synthetic topology in Homotopy Type Theory for probabilistic programming
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 10 / November 2021
- Published online by Cambridge University Press:
- 13 August 2021, pp. 1301-1329
-
- Article
- Export citation
Modal descent
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 4 / April 2021
- Published online by Cambridge University Press:
- 26 October 2020, pp. 363-391
-
- Article
- Export citation
Model structure on the universe of all types in interval type theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 4 / April 2021
- Published online by Cambridge University Press:
- 14 October 2020, pp. 392-423
-
- Article
-
- You have access
- Open access
- 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
Nilpotent types and fracture squares in homotopy type theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 5 / May 2020
- Published online by Cambridge University Press:
- 08 July 2020, pp. 511-544
-
- Article
- Export citation
Indexed type theories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 1 / January 2021
- Published online by Cambridge University Press:
- 22 May 2020, pp. 3-63
-
- 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
UNIVERSES AND UNIVALENCE IN HOMOTOPY TYPE THEORY
-
- Journal:
- The Review of Symbolic Logic / Volume 12 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 15 July 2019, pp. 426-455
- Print publication:
- September 2019
-
- Article
- Export citation