H ? « »

Language peer sets for Curry Combinatorials:
United States
United States/1958
Designed 1958
1950s languages
Second generation
Early Cold War
Genus Other lambda
Specialised Languages
Other lambda
Lambda caculus
Other lambda/1958
Lambda caculus/1958
Other lambda/United States
Lambda caculus/United States
Functional/United States
Specialised Languages
Specialised Languages/1958
Specialised Languages/us

Curry Combinatorials(ID:7828/)

alternate simple view
Country: United States
Designed 1958
Genus: Other lambda
Sammet category: Specialised Languages

Related languages
Curry programming system Curry Combinatorials   influence
Schoenfinkel Curry Combinatorials   Adaptation of
Curry Combinatorials CUCH   Influence
Curry Combinatorials Genotype   Based on

  • Curry, Haskell B., and Feys, Robert, (1958) Curry, Haskell B., and Feys, Robert, "Combinatory logic," North-Holland Publ. Co., 1958.
  • Smullyan, Raymond (1985) Smullyan, Raymond "an Amazing Adventure in Combinatory Logic " in "To Mock a Mockingbird and other logical puzzles" Knopf 1985
  • 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