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:
{\sc Rules 1-3 (Alpha Conversion)}
...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