lambda-calculus Definition Lambda Expression An expression is either a variable, a composed expression or an abstraction: e::=x∣ee′∣λx.e