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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Throughout most of his career, Rudolf Carnap attempted to articulate an empiricist view. Central to this project is the… 
2005
2005
In the 1920's Fraenkel and Carnap raised the question of whether or not every finitely axiomatizable semantically complete theory… 
2002
2002
This paper contains a systematic study of the foundations of knowledge representation, computation, and learning in higher-order… 
2001
2001
Appendix B of The Principles of Mathematics (1903) contains Russell’s first statement of his theory of logical types. This simple… 
1995
1995
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
In this chapter we develop an interpreter of a higher-order constraint logic programming language in Standard ML (SML). The logic… 
1981
1981
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
To the ancient thinkers of Megara is attributed, among others, the paradox represented by the following question: 'Have you lost… 
1948
1948
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
But these difficulties disappear if we conceive [_ as being, not a specific relationship, but a generic term for any negative…