next up previous contents
Next: Beta Conversion Up: Alpha Conversion Previous: Bound and Free Variables   Contents
New book on A++ and the Lambda Calculus available!

Rules of Alpha Conversion

An Alpha Conversion of a lambda expression is defined as follows:
Alpha Conversion

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 Loczewski 2003-08-07