next up previous contents index
Next: Beta Conversion Up: Alpha Conversion Previous: Bound and Free Variables   Contents   Start


Rules of Alpha Conversion

An Alpha Conversion of a lambda expression is defined as follows:
\fbox{ \parbox{12.5cm}{ {\sc Rules 1-3 (Alpha Conversion)} \begin{center}$\lam... ...o be equal {\em modulo alpha}: \begin{center}$M =_\alpha N$. \end{center} } }

The third rule for alpha conversion is a combination of the first two rules.

Alpha conversion may be required, if substitutions are performed in lambda expressions.

Georg P. Loczewski 2004-03-05

Impressum und Datenschutz