Next: Beta Conversion
Up: Alpha Conversion
Previous: Bound and Free Variables
Contents
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
rules.
Alpha conversion may be required, if substitutions are
performed in lambda expressions.
Georg Loczewski
2003-08-07
