7 results
From type theory to setoids and back
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 10 / November 2022
- Published online by Cambridge University Press:
- 12 April 2023, pp. 1283-1312
-
- Article
-
- You have access
- HTML
- Export citation
THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 08 July 2022, pp. 308-330
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 08 January 2021, pp. 1342-1375
- Print publication:
- December 2020
-
- Article
- Export citation
EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 18 June 2020, pp. 563-584
- Print publication:
- June 2020
-
- Article
-
- You have access
- Open access
- 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
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 disjunction and related properties for constructive Zermelo-Fraenkel set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1233-1254
- Print publication:
- December 2005
-
- Article
- Export citation