Works matching DE "INTUITIONISTIC type theory"
Results: 12
ALGEBRAIC PRESENTATIONS OF TYPE DEPENDENCY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(114)2025
- By:
- Publication type:
- Article
On Hofmann–Streicher universes.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 9, p. 894, doi. 10.1017/S0960129524000203
- By:
- Publication type:
- Article
B-SYSTEMS AND C-SYSTEMS ARE EQUIVALENT.
- Published in:
- Journal of Symbolic Logic, 2024, v. 89, n. 4, p. 1513, doi. 10.1017/jsl.2023.41
- By:
- Publication type:
- Article
Choice Principles and Constructive Logics†.
- Published in:
- Philosophia Mathematica, 2004, v. 12, n. 3, p. 222, doi. 10.1093/philmat/12.3.222
- By:
- Publication type:
- Article
Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality.
- Published in:
- Archive for Mathematical Logic, 1999, v. 38, n. 1, p. 19
- By:
- Publication type:
- Article
Decidability in Intuitionistic Type Theory is Functionally Decidable.
- Published in:
- Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 300, doi. 10.1002/malq.19960420125
- By:
- Publication type:
- Article
An Intuitionistic Version of Cantor's Theorem.
- Published in:
- Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 446, doi. 10.1002/malq.19960420136
- By:
- Publication type:
- Article
Hilbert's ϵ-operator in intuitionistic type theories.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 323, doi. 10.1002/malq.19930390137
- By:
- Publication type:
- Article
Abstract Data Types and Type Theory: Theories as Types.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 9-12, p. 149, doi. 10.1002/malq.19910370904
- By:
- Publication type:
- Article
Proof theory and computer programming.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 5, p. 389, doi. 10.1002/malq.19900360505
- By:
- Publication type:
- Article
Intelligent Bankruptcy Prediction using Cutting-Edge N-Valued Interval Neutrosophic Sets for Classification.
- Published in:
- International Journal of Neutrosophic Science (IJNS), 2025, v. 25, n. 2, p. 303, doi. 10.54216/IJNS.250226
- By:
- Publication type:
- Article
ANALYTICITY AND SYNTHETICITY IN TYPE THEORY REVISITED.
- Published in:
- Review of Symbolic Logic, 2024, v. 17, n. 4, p. 1119, doi. 10.1017/S1755020323000199
- By:
- Publication type:
- Article