Combinatory logic topic
Also known as
- Add other possible names for this topic
Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It 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 which, for defining a result from its arguments, solely uses function application and earlier defined combinators.
Combinatory...
full article at wikipedia
With the exception of Wikipedia summaries and some images the
content on this page is typically distributed under
the Creative Commons
Attribution license or Public Domain.
The original description for this topic was automatically generated from the Wikipedia article "Combinatory logic" licensed under the GNU Free Documentation License .
| Gallery | add |
There are no images for this topic yet.
Recent Discussions about Combinatory logic
There are no conversations on this topic. Would you like to start one?
Start the Discussion »