Lambda Abstraction

lambda-calculus

Definition

Lambda Abstraction

The syntactic construct $\lambda x.e$ is called a lambda abstraction, where $x$ is a bound variable and $e$ is an expression.