combinator
Assuming "combinator" is referring to a mathematical definition | Use as instead

Input interpretation

combinator

Definition

In December 1920, M. Schönfinkel presented in a report to the Mathematical Society in Göttingen a new type of formal logic based on the concept of a generalized function whose argument is also a function. This mathematical discipline was subsequently termed combinatory logic by Curry and "λ-conversion" or "λ-calculus" by Church. Combinators can be used in the study of algebra, topology, and category theory, and have found application in the study of programs in algorithmic languages.
More information »

Related terms

combinatory logic | lambda calculus

Subject classifications

MathWorld

general logic | A new kind of science

MSC 2010

03Bxx
POWERED BY THE WOLFRAM LANGUAGE

Related Queries:

Have a question about using Wolfram|Alpha?Contact Pro Premium Expert Support »

Give us your feedback »