4 results
Material dialogues for first-order logic in constructive type theory: extended version
-
- Journal:
- Mathematical Structures in Computer Science , First View
- Published online by Cambridge University Press:
- 03 November 2023, pp. 1-21
-
- Article
-
- 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
THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 28 February 2022, pp. 501-513
- Print publication:
- December 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 3 / March 2021
- Published online by Cambridge University Press:
- 26 November 2021, pp. 341-360
-
- Article
- Export citation