Next: Rule of -Conversion
Up: Basic Rules for Lambda
Previous: Rules of Alpha Conversion
-Conversion primarily consists of the
process of substituting a bound variable in the body of
a lambda abstraction by the argument passed to the function
whenever it is applied. This process is called -reduction.
The inverse process to convert a -reduced lambda expression
back to the reducible expression is another aspect of
-conversion and is called -abstraction.
Georg P. Loczewski