A fundamental system of 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 "lambda calculus" by Church. The system of combinatory logic is extremely fundamental, in that there are a relatively small finite numbers of atoms, axioms, and elementary rules. Despite the fact that the system contains no formal variables, it can be used for doing anything that can be done with variables in more usual systems.

combinator | lambda calculus