Skip to search formSkip to main contentSkip to account menu

Type theory

Known as: System of types, Typed logic, Type-theoretic 
In mathematics, logic, and computer science, a type theory is any of a class of formal systems, some of which can serve as alternatives to set theory… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Abstract Session types support a type-theoretic formulation of structured patterns of communication, so that the communication… 
Highly Cited
2008
Highly Cited
2008
The intuitionistic modal logic of necessity is based on the judgmental notion of categorical truth. In this article we… 
Highly Cited
2007
Highly Cited
2007
Dependent type theories have a long history of being used for theorem proving. One aspect of type theory which makes it very… 
Highly Cited
2001
Highly Cited
2001
  • B. Jacobs
  • Studies in logic and the foundations of…
  • 2001
  • Corpus ID: 117187830
Highly Cited
1994
Highly Cited
1994
  • Zhaohui Luo
  • International series of monographs on computer…
  • 1994
  • Corpus ID: 118429002
Preface Introduction 1. The extended calculus of constructions 2. Basic meta-theoretic properties 3. Strong normalisation 4. The… 
Highly Cited
1990
Highly Cited
1990
data type, 179 abstraction, 14 Abstraction rule, 143 absurdity, 43 append, 68 application, 13 Application rule, 143 apply, 48… 
Highly Cited
1990
Highly Cited
1990
Part 1 Polymorphic sets: the semantics of the judgement forms general rules enumeration sets Cartesian product of a family of… 
Highly Cited
1986
Highly Cited
1986
This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax… 
Highly Cited
1950
Highly Cited
1950
  • L. Henkin
  • Journal of Symbolic Logic
  • 1950
  • Corpus ID: 36309665
The first order functional calculus was proved complete by Gödel in 1930. Roughly speaking, this proof demonstrates that each… 
Highly Cited
1940
Highly Cited
1940
  • A. Church
  • Journal of Symbolic Logic
  • 1940
  • Corpus ID: 15889861
The purpose of the present paper is to give a formulation of the simple theory of types which incorporates certain features of…