H ? « »

Language peer sets for Church typed-lambda calculus:
United States
United States/1941
Designed 1941
1940s languages
First generation
Genus Strict evaluation LISPs
String and List Processing
Strict evaluation LISPs
Lambda caculus
Strict evaluation LISPs/1941
Lambda caculus/1941
Strict evaluation LISPs/United States
LISPs/United States
Lambda caculus/United States
String and List Processing
String and List Processing/1941
String and List Processing/us

Church typed-lambda calculus(ID:5127/chu001)


alternate simple view
Country: United States
Designed 1941
Genus: Strict evaluation LISPs
Sammet category: String and List Processing

Church's combination of the lambda calculus with Russell and Whitehead's theory of types

Related languages
Lambda Calculus Church typed-lambda calculus   Evolution of
Simplified Type Theory Church typed-lambda calculus   Incorporated into
Church typed-lambda calculus ABL   Influence
Church typed-lambda calculus AMTRAN 70   Incorporated some features of
Church typed-lambda calculus CUCH   Influence
Church typed-lambda calculus FP   Implementation
Church typed-lambda calculus ISWIM   Influence
Church typed-lambda calculus LAMBDA   Implementation
Church typed-lambda calculus LISP   Influence
Church typed-lambda calculus N1   Incorporated some features of
Church typed-lambda calculus SECD   Implementation of
Church typed-lambda calculus The Mathematical Vernacular   Incorporated some features of

  • Church, Alonzo (1936) Church, Alonzo "An unsolvable problem of elementary number theory" in American Journal of Mathematics, 58 (1936) pp345-363
  • Church, Alonzo T (1941) Church, Alonzo T "The Calculi of Lambda-Conversion" 1941 Extract: Lambda Calculus Extract: Extension and Intension Extract: Functions of Several Variables
  • Landin, P. J. (1965) Landin, P. J. "Correspondence between ALGOL 60 and Church's Lambda-notation: part I" pp89-101
          in [ACM] (1965) [ACM] CACM 8(02) Feb 1965
  • Landin, P.J. (1966) Landin, P.J. "The Next 700 Programming Languages"
          in [ACM] (1966) [ACM] CACM 9(03) March 1966 includes proceedings of the ACM Programming Languages and Pragmatics Conference, San Dimas, California, August 1965
  • Backus, John (1978) Backus, John "Can programming be liberated from the von Neumann style? A functional style and its algebra of programs" (1977 Turing Award Lecture)
          in [ACM] (1978) [ACM] CACM 21(08) (August 1978).
  • Fairouz Kamareddine, Twan Laan and Rob Nederpelt (2000) Fairouz Kamareddine, Twan Laan and Rob Nederpelt "A History of Types in Logic and Mathematics"
          in [Proceedings] (2000) Workshop on History of Logics, Types and Rewriting Heriot-Watt University, Edinburgh Tuesday 5 December 2000
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder