A Formulation of the Simple Theory of Types

@article{Church1940AFO,
  title={A Formulation of the Simple Theory of Types},
  author={A. Church},
  journal={J. Symb. Log.},
  year={1940},
  volume={5},
  pages={56-68}
}
  • A. Church
  • Published 1940
  • Mathematics, Computer Science
  • J. Symb. Log.
The purpose of the present paper is to give a formulation of the simple theory of types which incorporates certain features of the calculus of λ-conversion. A complete incorporation of the calculus of λ-conversion into the theory of types is impossible if we require that λ x and juxtaposition shall retain their respective meanings as an abstraction operator and as denoting the application of function to argument. But the present partial incorporation has certain advantages from the point of… Expand
2,086 Citations
Types with intersection: An introduction
  • J. Hindley
  • Mathematics, Computer Science
  • Formal Aspects of Computing
  • 2005
  • 17
Deriving Category Theory from Type Theory
  • R. Crole
  • Computer Science
  • Theory and Formal Methods
  • 1993
  • PDF
Revisiting the notion of function
  • 4
  • PDF
Lambda calculus extended with segments
  • 5
  • PDF
Types, Theory of
From proof theory to theories theory
  • 2
  • PDF
Chapter 9 – Types
  • 3
Applications of Type Theory
  • B. Mahr
  • Mathematics, Computer Science
  • TAPSOFT
  • 1993
  • 13
  • PDF
...
1
2
3
4
5
...