Found: 24
Select item for more details and to access through your institution.
REDUCTION FREE NORMALIZATION FOR A PROOF-IRRELEVANT TYPE OF PROPOSITIONS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 3, p. 1, doi. 10.46298/LMCS-19(3:5)2023
- By:
- Publication type:
- Article
Syntax and models of Cartesian cubical type theory.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 4, p. 424, doi. 10.1017/S0960129521000347
- By:
- Publication type:
- Article
CANONICITY AND HOMOTOPY CANONICITY FOR CUBICAL TYPE THEORY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:28)2022
- By:
- Publication type:
- Article
Constructive sheaf models of type theory.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 9, p. 979, doi. 10.1017/S0960129521000359
- By:
- Publication type:
- Article
On generalized algebraic theories and categories with families.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 9, p. 1006, doi. 10.1017/S0960129521000268
- By:
- Publication type:
- Article
An Adequacy Theorem for Dependent Type Theory.
- Published in:
- Theory of Computing Systems, 2019, v. 63, n. 4, p. 647, doi. 10.1007/s00224-018-9879-9
- By:
- Publication type:
- Article
A generalization of the Takeuti–Gandy interpretation.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1071, doi. 10.1017/S0960129514000504
- By:
- Publication type:
- Article
Constructive finite free resolutions.
- Published in:
- Manuscripta Mathematica, 2012, v. 137, n. 3/4, p. 331, doi. 10.1007/s00229-011-0466-5
- By:
- Publication type:
- Article
Metric complements of overt closed sets.
- Published in:
- Mathematical Logic Quarterly, 2011, v. 57, n. 4, p. 373, doi. 10.1002/malq.201010011
- By:
- Publication type:
- Article
Constructive Gelfand duality for C*-algebras.
- Published in:
- Mathematical Proceedings of the Cambridge Philosophical Society, 2009, v. 147, n. 2, p. 339, doi. 10.1017/S0305004109002515
- By:
- Publication type:
- Article
CONSTRUCTIVE KRULL DIMENSION I:: INTEGRAL EXTENSIONS.
- Published in:
- Journal of Algebra & Its Applications, 2009, v. 8, n. 1, p. 129, doi. 10.1142/S0219498809003199
- By:
- Publication type:
- Article
A note on the axiomatisation of real numbers.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 3, p. 224, doi. 10.1002/malq.200710039
- By:
- Publication type:
- Article
A logical approach to abstract algebra.
- Published in:
- Mathematical Structures in Computer Science, 2006, v. 16, n. 5, p. 885, doi. 10.1017/s0960129506005627
- By:
- Publication type:
- Article
Remarks on the equational theory of non-normalizing pure type systems.
- Published in:
- Journal of Functional Programming, 2006, v. 16, n. 2, p. 137
- By:
- Publication type:
- Article
Geometric Hahn-Banach theorem.
- Published in:
- Mathematical Proceedings of the Cambridge Philosophical Society, 2006, v. 140, n. 2, p. 313, doi. 10.1017/S0305004105008935
- By:
- Publication type:
- Article
A nilregular element property.
- Published in:
- Archiv der Mathematik, 2005, v. 85, n. 1, p. 49, doi. 10.1007/s00013-005-1295-0
- By:
- Publication type:
- Article
A constructive proof of the Peter-Weyl theorem.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 4, p. 351, doi. 10.1002/malq.200410037
- By:
- Publication type:
- Article
Generating non-Noetherian modules constructively.
- Published in:
- Manuscripta Mathematica, 2004, v. 115, n. 4, p. 513, doi. 10.1007/s00229-004-0509-2
- By:
- Publication type:
- Article
Proof-theoretical analysis of order relations.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 3, p. 297, doi. 10.1007/s00153-003-0209-8
- By:
- Publication type:
- Article
Metric Boolean algebras and constructive measure theory.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 7, p. 687, doi. 10.1007/s001530100123
- By:
- Publication type:
- Article
Intuitionistic choice and classical logic.
- Published in:
- Archive for Mathematical Logic, 2000, v. 39, n. 1, p. 53, doi. 10.1007/s001530050003
- By:
- Publication type:
- Article
A new method for establishing conservativity of classical systems over their intuitionistic version.
- Published in:
- Mathematical Structures in Computer Science, 1999, v. 9, n. 4, p. 323, doi. 10.1017/s0960129599002844
- By:
- Publication type:
- Article
Two applications of Boolean models.
- Published in:
- Archive for Mathematical Logic, 1998, v. 37, n. 3, p. 143, doi. 10.1007/s001530050088
- By:
- Publication type:
- Article
A-translation and looping combinators in pure type systems.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 1, p. 77, doi. 10.1017/S0956796800000952
- By:
- Publication type:
- Article