English Wikipedia - The Free Encycl...
Download this dictionary
Combinatory logic
Combinatory logic
is a notation to eliminate the need for
quantified
variables in
mathematical logic
. It was introduced by
Moses Schönfinkel
and
Haskell Curry
, and has more recently been used in
computer science
as a theoretical model of
computation
and also as a basis for the design of
functional programming languages
. It is based on
combinators
. A combinator is a
higher-order function
that uses only function application and earlier defined combinators to define a result from its arguments.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License