Works matching DE "INTUITIONISTIC type theory"

Results: 14

Principal types as partial involutions.

Published in:

Mathematical Structures in Computer Science, 2025, v. 35, p. 1, doi. 10.1017/S0960129524000380

By:

Honsell, Furio;
Lenisa, Marina;
Scagnetto, Ivan

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:

BENTZEN, BRUNO

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:

Valentini, Silvio

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:

Maguolo, Dario;
Valentini, Silvio

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:

Bell, John L.

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:

de Queiroz, Ruy J. G. B.;
Maibaum, Thomas S. E.

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:

de Queiroz, Ruy J. G. B.;
Maibaum, Thomas S. E.

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:

AHRENS, BENEDIKT;
EMMENEGGER, JACOPO;
NORTH, PAIGE RANDALL;
RIJKE, EGBERT

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:

Waagbø, Geir

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:

DEDIVI, DAVID

Publication type:

Article

PhD Abstracts.

Published in:: Journal of Functional Programming, 2024, v. 34, p. 1, doi. 10.1017/S0956796824000108
Publication type:: Article

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:

AHRENS, BENEDIKT;
EMMENEGGER, JACOPO;
NORTH, PAIGE RANDALL;
RIJKE, EGBERT

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:

Awodey, Steve

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:

Mandala, Vishwanadham;
Avacharmal, Rajiv;
Chintale, Pradeep;
Malviya, Rajesh Kumar;
Vandanapu, Manoj Kumar;
Boddapati, Venkata Nagesh

Publication type:

Article