Alpha Reduction

lambda-calculus

Definition

Alpha Reduction

The process of renaming bound variables is called alpha reduction (provided it doesn’t cause name conflicts).

$$\lambda u.e\equiv \lambda v.[v/u]e$$