Next: Beta Conversion
Up: Alpha Conversion
Previous: Bound and Free Variables
New book on A++ and the Lambda Calculus available!
An Alpha Conversion of a lambda expression is defined as follows:
The third rule for alpha conversion is a combination of the first two
Alpha conversion may be required, if substitutions are
performed in lambda expressions.