H ? « ‹ ← → › »

Language peer sets for Kleene:
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↑

Kleene(ID:7051/kle002)

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

Use of functional notation - highly influential in language design, especially for functional and lispish systems

People:
Related languages
Kleene → ADES   Based on
Kleene → FAD   Based on
References:
  • Kleene, S. C. (1936) Kleene, S. C. "General recursive functions of natural numbers" Math. Ann. 12, pp340-353. 1936
  • Kleene, S (1952) Kleene, S "Introduction to Metamathematics", 1952, Van Nostrand
  • Kleene, S. C. (1956) Kleene, S. C. "Representation of events in nerve nets and finite automata1956 In "Automata Studies" (C. E. Shannon and J. McCarthy, eds.), pp. 3 - 41. Princeton Univ. Press, Princeton, New Jersey. 1956
  • Kleene, S.C., (1959) Kleene, S.C., "Countable Functionals", Constructivity in Mathematics, ed.A. Heyting, North-Holland, (1959).
  • Kleene, Stephen C. (1981) Kleene, Stephen C. "Origins of Recursive Function Theory" Abstract
          in (1981) Annals of the History of Computing IEEE 3(1) January 1981
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder