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.
2011
2011
A combinatorial result related to the consistency of New Foundations
2006
2006
Foundations of Intensional Semantics
If you get the printed book in on-line book store, you may also find the same problem. So, you must move store to store and… 
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… 
1992
1992
Logical Specifications for Functional Programs
We present a formal method of functional program development based on step-by-step transformation. 
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
Applying simple theory of types to data bases
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… 
1977
1977
Data Types as Objects
In this paper we present a new approach to the semantics of data types, in which the types themselves are incorporated as… 
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… 
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)