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


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.


domain access counter Georg P. Loczewski 2004-03-05