Skip to search formSkip to main contentSkip to account menu

History of type theory

Known as: Simple theory of types 
The type theory was initially created to avoid paradoxes in a variety of formal logics and rewrite systems. Later, type theory referred to a class of… 
Wikipedia (opens in a new tab)

Related topics

Related topics

14 relations
AutomathAxiom of reducibilityCalculus of constructionsCurry–Howard correspondence

Broader (1)

Type theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Carnap, Logicism, and Ontological Commitment
Throughout most of his career, Rudolf Carnap attempted to articulate an empiricist view. Central to this project is the… 
2005
2005
Fraenkel‐Carnap properties
In the 1920's Fraenkel and Carnap raised the question of whether or not every finitely axiomatizable semantically complete theory… 
2002
2002
Knowledge Representation, Computation, and Learning in Higher-order Logic
This paper contains a systematic study of the foundations of knowledge representation, computation, and learning in higher-order… 
2001
2001
RUSSELL ’ S OTHER CONTRADICTION : THE PARADOX OF PROPOSITIONS
Appendix B of The Principles of Mathematics (1903) contains Russell’s first statement of his theory of logical types. This simple… 
1995
1995
{78 () the Vlisp Veriied Scheme System *
The vlisp project has produced a rigorously veriied compiler from Scheme to byte codes, and a veriied interpreter for the… 
Highly Cited
1990
Highly Cited
1990
A Semi-Functional Implementation of a Higher-Order Logic Programming Language
In this chapter we develop an interpreter of a higher-order constraint logic programming language in Standard ML (SML). The logic… 
1981
1981
Inequivalence of the fragments of new foundations
Grigin [2, 3] defined and investigated fragments of New Foundations (NF). Quine's [5] set theory N F is a first order theory in… 
1973
1973
SEMANTIC ANTINOMIES AND DEEP STRUCTURE ANALYSIS
To the ancient thinkers of Megara is attributed, among others, the paradox represented by the following question: 'Have you lost… 
1948
1948
A problem concerning the notion of definability
We are inclined to believe that, by means of an argument entirely analogous to that which leads to the Richard antinomy, the… 
Review
1940
Review
1940
Review: Alonzo Church, A Formulation of the Simple Theory of Types
But these difficulties disappear if we conceive [_ as being, not a specific relationship, but a generic term for any negative… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)