H ? « ‹ ← → › »

Language peer sets for Lambda Calculus:
United States↑
United States/1936↑
Designed 1936 ↑
1930s languages ↑
Pre-Computing↑
Pre-War↑
Genus Symbolic ↑
Symbolic↑
Logical↑
Expression-oriented ↑
Symbolic/1936↑
Logical/1936↑
Expression-oriented/1936↑
Symbolic/United States↑
Logical/United States↑
Expression-oriented/United States↑

Lambda Calculus(ID:7868/)

alternate simple view
Country: United States
Designed 1936
Genus: Symbolic

Church's radical reductionist view of algebraic expressions. Its use by (eg) Landin, Backus, Strachey, Stott, Stoy, Milner... is the basis for the functional paradigm
Related languages
Schoenfinkel → Lambda Calculus   Incorporated into
Lambda Calculus → Church typed-lambda calculus   Evolution of
Lambda Calculus → SLIPS   Based on
References:
  • Church, Alonzo (1932) Church, Alonzo "A set of postulates for the foundation of logic" Annals of Mathematics 33:346-366 1932
  • 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
  • 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