Lambda Calculus

computation lambda-calculus

Definition

Lambda Calculus

The lambda calculus is the language of expressions $e\in \mathcal{E}$ in variables $x\in \mathcal{V}$ given by the grammar:

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