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.
We guarantee you’ll find the right tutor, or we’ll cover the first hour of your lesson.