abstraction operator

A formal logic developed by Alonzo Church and Stephen Kleene to address the computable number problem. In the lambda calculus, λ is defined as the abstraction operator. Three theorems of lambda calculus are β-conversion, α-conversion, and η-conversion. Lambda-reduction (also called lambda conversion) refers to all three.

combinator | combinatory logic | computable number