Get Math Help

GET TUTORING NEAR ME!

By submitting the following form, you agree to Club Z!'s Terms of Use and Privacy Policy

    Abstraction Operator

    Alternate name
    Definition

    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.

    Find the right fit or it’s free.

    We guarantee you’ll find the right tutor, or we’ll cover the first hour of your lesson.