Lambda Expression

lambda-calculus

Definition

Lambda Expression

An expression is either a variable, a composed expression or an abstraction:

$$e::=x\mid e{e}^{\prime }\mid \lambda x.e$$

Properties

Left-associative

$$MNL=(MN)L$$