Works matching DE "TYPE theory"

Results: 122

Truth, Predication and a Family of Contingent Paradoxes.

Published in:

Journal of Philosophical Logic, 2019, v. 48, n. 1, p. 113, doi. 10.1007/s10992-018-9480-3

By:

Orilia, Francesco;
Landini, Gregory

Publication type:

Article

A TYPE REDUCTION FROM PROOF-CONDITIONAL TO DYNAMIC SEMANTICS.

Published in:

Journal of Philosophical Logic, 2001, v. 30, n. 2, p. 121, doi. 10.1023/A:1017541301458

By:

Fernando, Tim

Publication type:

Article

Why Knowledge Should Not Be Typed: An Argument against the Type Solution to the Knowability Paradox.

Published in:

Theoria: A Swedish Journal of Philosophy, 2011, v. 77, n. 2, p. 180, doi. 10.1111/j.1755-2567.2011.01100.x

By:

CARRARA, MASSIMILIANO;
FASSIO, DAVIDE

Publication type:

Article

Verification of non-functional programs using interpretations in type theory.

Published in:

Journal of Functional Programming, 2003, v. 13, n. 4, p. 709, doi. 10.1017/s095679680200446x

By:

JEAN-CHRISTOPHE FILLIÂTRE

Publication type:

Article

Constructive Analysis of Intensional Phenomena in Natural Language.

Published in:

Engineering Letters, 2007, v. 15, n. 2, p. 296

By:

Dávila, Rogelio;
Soto, Leonardo;
Padilla, Nahitt H.

Publication type:

Article

Fields of definition and Belyi type theorems for curves and surfaces.

Published in:

New York Journal of Mathematics, 2016, v. 22, p. 823

By:

Dolce, Paolo

Publication type:

Article

Closed graph and open mapping theorems for normed cones.

Published in:

Proceedings of the Indian Academy of Sciences: Mathematical Sciences, 2008, v. 118, n. 2, p. 245, doi. 10.1007/s12044-008-0017-5

By:

VALERO, OSCAR

Publication type:

Article

The notion of type, as regards certain geometric limits.

Published in:

International Journal of Mathematical Education in Science & Technology, 1999, v. 30, n. 1, p. 146, doi. 10.1080/002073999288210

By:

Mercer, Peter R.

Publication type:

Article

Proof-relevance of families of setoids and identity in type theory.

Published in:

Archive for Mathematical Logic, 2012, v. 51, n. 1/2, p. 35, doi. 10.1007/s00153-011-0252-9

By:

Palmgren, Erik

Publication type:

Article

Realizing Mahlo set theory in type theory.

Published in:

Archive for Mathematical Logic, 2003, v. 42, n. 1, p. 89, doi. 10.1007/s00153-002-0159-6

By:

Rathjen, Michael

Publication type:

Article

A jump inversion theorem for the enumeration jump.

Published in:

Archive for Mathematical Logic, 2000, v. 39, n. 6, p. 417, doi. 10.1007/s001530050156

By:

Soskov, I.N.

Publication type:

Article

Extending Martin-Löf Type Theory by one Mahlo-universe.

Published in:

Archive for Mathematical Logic, 2000, v. 39, n. 3, p. 155, doi. 10.1007/s001530050140

By:

Setzer, Anton

Publication type:

Article

The strength of Martin-Löf type theory with a superuniverse. Part I.

Published in:

Archive for Mathematical Logic, 2000, v. 39, n. 1, p. 1, doi. 10.1007/s001530050001

By:

Rathjen, Michael

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

A restricted computation model on Scott domains and its partial primitive recursive functionals.

Published in:

Archive for Mathematical Logic, 1998, v. 37, n. 7, p. 443, doi. 10.1007/s001530050108

By:

Niggl, Karl-Heinz

Publication type:

Article

Total objects in inductively defined types.

Published in:

Archive for Mathematical Logic, 1997, v. 36, n. 6, p. 405, doi. 10.1007/s001530050073

By:

Kristiansen, Lill;
Normann, Dag

Publication type:

Article

Hereditarily effective typestreams.

Published in:

Archive for Mathematical Logic, 1997, v. 36, n. 3, p. 219, doi. 10.1007/s001530050062

By:

Normann, Dag

Publication type:

Article

Order theoretic properties of holistic ethical theories

Published in:

Environmental Ethics, 1991, v. 13, n. 3, p. 215

By:

Martin, John N.

Publication type:

Article

A minimalistic many-valued theory of types.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1307, doi. 10.1093/logcom/exw006

By:

BĚHOUNEK, LIBOR

Publication type:

Article

An open logical framework.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 1, p. 293, doi. 10.1093/logcom/ext028

By:

HONSELL, FURIO;
LENISA, MARINA;
SCAGNETTO, IVAN;
LIQUORI, LUIGI;
MAKSIMOVIC, PETAR

Publication type:

Article

Complexity of existential positive first-order logic.

Published in:

Journal of Logic & Computation, 2013, v. 23, n. 4, p. 753, doi. 10.1093/logcom/exr043

By:

Bodirsky, Manuel;
Hermann, Miki;
Richoux, Florian

Publication type:

Article

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations.

Published in:

Journal of Logic & Computation, 2011, v. 21, n. 2, p. 351, doi. 10.1093/logcom/exq017

By:

OPPENHEIMER, PAUL E.;
ZALTA, EDWARD N.

Publication type:

Article

Computable Models.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 2, p. 283, doi. 10.1093/logcom/exm002

By:

Turner, Raymond

Publication type:

Article

M. H. Newman's Typability Algorithm for Lambda-calculus.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 2, p. 229, doi. 10.1093/logcom/exm001

By:

Hindley, J. Roger

Publication type:

Article

Semantics and Stratification.

Published in:

Journal of Logic & Computation, 2005, v. 15, n. 2, p. 145, doi. 10.1093/logcom/exi007

By:

Turner, Raymond

Publication type:

Article

Propositions as [Types].

Published in:

Journal of Logic & Computation, 2004, v. 14, n. 4, p. 447, doi. 10.1093/logcom/14.4.447

By:

Awodey, Steven;
Bauer, Andrej

Publication type:

Article

Kripke Resource Models of a Dependently‐typed, Bunched λ‐calculus.

Published in:

Journal of Logic & Computation, 2002, v. 12, n. 6, p. 1061, doi. 10.1093/logcom/12.6.1061

By:

Ishtiaq, Samin;
Pym, David J.

Publication type:

Article

Embedding First-order Logic in a Pure Type System with Parameters.

Published in:

Journal of Logic & Computation, 2001, v. 11, n. 4, doi. 10.1093/logcom/11.4.545

By:

Laan, Twan;
Franssen, Michael

Publication type:

Article

Reviewing the Classical and the de Bruijn Notation for λ-calculus and Pure Type Systems.

Published in:

Journal of Logic & Computation, 2001, v. 11, n. 3, doi. 10.1093/logcom/11.3.363

By:

Kamareddine, Fairouz

Publication type:

Article

Approximation Theorems for Intersection Type Systems.

Published in:

Journal of Logic & Computation, 2001, v. 11, n. 3, doi. 10.1093/logcom/11.3.395

By:

Dezani-Ciancaglini, Mariangiola;
Honsell, Furio;
Motohama, Yoko

Publication type:

Article

Explicit Substitutions and Reducibility.

Published in:

Journal of Logic & Computation, 2001, v. 11, n. 3, doi. 10.1093/logcom/11.3.431

By:

Herbelin, Hugo

Publication type:

Article

Conferences.

Published in:: Journal of Logic & Computation, 2000, v. 10, n. 3, p. 489, doi. 10.1093/logcom/10.3.489
Publication type:: Article

Proof-terms for classical and intuitionistic resolution.

Published in:

Journal of Logic & Computation, 2000, v. 10, n. 2, doi. 10.1093/logcom/10.2.173

By:

Ritter, E;
Ritter, Eike;
Pym, D;
Pym, David;
Wallen, L;
Wallen, Lincoln

Publication type:

Article

Book review. Twenty-Five Years of Constructive Type Theory. G Sambin, J Smith.

Published in:

2000

By:

Thompson, S;
Thompson, Simon

Publication type:

Book Review

Sets, types and type-checking.

Published in:

Journal of Logic & Computation, 1999, v. 9, n. 6, doi. 10.1093/logcom/9.6.959

By:

Turner, R;
Turner, Raymond

Publication type:

Article

Coercive subtyping.

Published in:

Journal of Logic & Computation, 1999, v. 9, n. 1, p. 105, doi. 10.1093/logcom/9.1.105

By:

Luo, Z

Publication type:

Article

CONSTRUCTIVE TYPE THEORY AND THE DIALOGICAL APPROACH TO MEANING.

Published in:

Baltic International Yearbook of Cognition, Logic & Communication, 2013, v. 8, p. 1, doi. 10.4148/1944-3676.1077

By:

RAHMAN, SHAHID;
CLERBOUT, NICOLAS

Publication type:

Article

Grounding as a Side‐Effect of Grounding.

Published in:

Topics in Cognitive Science, 2018, v. 10, n. 2, p. 389, doi. 10.1111/tops.12317

By:

Larsson, Staffan

Publication type:

Article

TOWARDS A CALCULUS FOR NONDETERMINISTIC SCHEMAS IN Z.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2012, v. 22, n. 6, p. 839, doi. 10.1142/S0218194012500222

By:

HAGHIGHI, HASSAN;
MIRIAN-HOSSEINABADI, SEYYED-HASSAN

Publication type:

Article

Fibred and Indexed Categories for Abstract Model Theory.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 707, doi. 10.1093/jigpal/jzm045

By:

Martini, Alfio;
Wolter, Uwe;
Haeusler, E. Hermann

Publication type:

Article

Functional Interpretation of Logics for ‘Generally’.

Published in:

Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 627, doi. 10.1093/jigpal/12.6.627

By:

Veloso, Paulo A. S.;
Veloso, Sheila R. M.

Publication type:

Article

Formalizing Belief Revision in Type Theory.

Published in:

Logic Journal of the IGPL, 2002, v. 10, n. 5, p. 461, doi. 10.1093/jigpal/10.5.461

By:

Borghuis, Tijn;
Kamareddine, Fairouz;
Nederpelt, Rob

Publication type:

Article

A Type Theory with Mixed Constructivity and Assignments.

Published in:

Logic Journal of the IGPL, 1997, v. 5, n. 3, p. 1, doi. 10.1093/jigpal/5.3.1-d

By:

Sasaki, James T.

Publication type:

Article

A type-theoretical Curry paradox and its solution.

Published in:

Philosophical Quarterly, 2025, v. 75, n. 2, p. 763, doi. 10.1093/pq/pqaf019

By:

Klev, Ansten

Publication type:

Article

A Widder's Type Theorem for the Heat Equation with Nonlocal Diffusion.

Published in:

Archive for Rational Mechanics & Analysis, 2014, v. 213, n. 2, p. 629, doi. 10.1007/s00205-014-0733-1

By:

Barrios, Begoña;
Peral, Ireneo;
Soria, Fernando;
Valdinoci, Enrico

Publication type:

Article

On Design Models in Stability Problems for Corrugated Cylindrical Shells.

Published in:

International Applied Mechanics, 2002, v. 38, n. 10, p. 1245, doi. 10.1023/A:1022214630581

By:

Semenyuk, N. P.;
Neskhodovskaya, N. A.

Publication type:

Article

Martin-Lof's Type Theory as an Open-Ended Framework: [International Journal of Foundations of Computer Science Vol. 12, No. 1 (2001) 31–37].

Published in:

International Journal of Foundations of Computer Science, 2001, v. 12, n. 5, p. 695, doi. 10.1142/S0129054101000722

By:

Tsukada, Yasuyuki

Publication type:

Article

Liouville type theorems for a system of integral equations on upper half space.

Published in:

Acta Mathematica Sinica, 2014, v. 30, n. 2, p. 261, doi. 10.1007/s10114-014-3071-1

By:

Tang, Su;
Dou, Jing

Publication type:

Article

Reflections on Concrete Incompleteness†.

Published in:

Philosophia Mathematica, 2011, v. 19, n. 3, p. 255, doi. 10.1093/philmat/nkr016

By:

Longo, Giuseppe

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