next up previous contents
Next: Rule of -Conversion Up: Basic Rules of Lambda Previous: Rules of Alpha Conversion   Contents
New book on A++ and the Lambda Calculus available!

Beta Conversion

beta 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 beta reduction-reduction.

The inverse process to convert a reducible expression-reduced lambda expression back to the reducible expression is another aspect of beta conversion-conversion and is called beta abstraction-abstraction.


Subsections

Georg Loczewski 2003-08-07