17 results
Conclusion
-
- Book:
- Prohibited Force
- Published online:
- 23 February 2024
- Print publication:
- 29 February 2024, pp 229-232
-
- Chapter
-
- You have access
- Open access
- HTML
- Export citation
ANALYTICITY AND SYNTHETICITY IN TYPE THEORY REVISITED
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 27 June 2023, pp. 1-27
-
- Article
- Export citation
HYBRID PARTIAL TYPE THEORY
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 May 2023, pp. 1-43
-
- Article
- Export citation
An intuitionistic set-theoretical model of fully dependent CC $^{\boldsymbol\omega}$
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 1 / January 2023
- Published online by Cambridge University Press:
- 17 April 2023, pp. 1-32
-
- Article
- Export citation
Stage 3 - Composing Sentence Meaning
-
- Book:
- Semantics, Pragmatics, Philosophy
- Published online:
- 22 March 2023
- Print publication:
- 16 March 2023, pp 44-76
-
- Chapter
- Export citation
9 - A Typology of Semantic Entities
- from Part V - Typologizing and Ontologizing
-
-
- Book:
- Linguistics Meets Philosophy
- Published online:
- 06 October 2022
- Print publication:
- 13 October 2022, pp 277-301
-
- Chapter
- 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
The Scott model of PCF in univalent type theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 10 / November 2021
- Published online by Cambridge University Press:
- 23 July 2021, pp. 1270-1300
-
- Article
-
- You have access
- Open access
- Export citation
Martin Hofmann’s contributions to type theory: Groupoids and univalence
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 9 / October 2021
- Published online by Cambridge University Press:
- 28 June 2021, pp. 953-957
-
- Article
- Export citation
The genesis of the groupoid model
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 9 / October 2021
- Published online by Cambridge University Press:
- 29 December 2020, pp. 1003-1005
-
- Article
- Export citation
Denotational semantics for guarded dependent type theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 4 / April 2020
- Published online by Cambridge University Press:
- 08 May 2020, pp. 342-378
-
- Article
- Export citation
6 - The Stratified Conception
-
- Book:
- Conceptions of Set and the Foundations of Mathematics
- Published online:
- 09 January 2020
- Print publication:
- 23 January 2020, pp 160-183
-
- Chapter
- Export citation
ETA-RULES IN MARTIN-LÖF TYPE THEORY
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 22 July 2019, pp. 333-359
- Print publication:
- September 2019
-
- Article
- Export citation
FROM MULTISETS TO SETS IN HOMOTOPY TYPE THEORY
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 1132-1146
- Print publication:
- September 2018
-
- Article
- Export citation
THE CONCEPT HORSE IS A CONCEPT
-
- Journal:
- The Review of Symbolic Logic / Volume 11 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 21 December 2017, pp. 547-572
- Print publication:
- September 2018
-
- Article
- Export citation
The Church-Rosser property in symmetric combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 536-556
- Print publication:
- June 2005
-
- Article
- Export citation