Curry Combinatorials(ID:7828/)


Related languages
Curry programming system => Curry Combinatorials   influence
Schoenfinkel => Curry Combinatorials   Adaptation of
Curry Combinatorials => CUCH   Influence
Curry Combinatorials => Genotype   Based on
References:
  • Curry, Haskell B., and Feys, Robert, "Combinatory logic," North-Holland Publ. Co., 1958. view details
  • Smullyan, Raymond "an Amazing Adventure in Combinatory Logic " in "To Mock a Mockingbird and other logical puzzles" Knopf 1985 view details
  • Fairouz Kamareddine, Twan Laan and Rob Nederpelt "A History of Types in Logic and Mathematics" view details
          in Workshop on History of Logics, Types and Rewriting Heriot-Watt University, Edinburgh Tuesday 5 December 2000 view details