next up previous contents index
Next: Rule of -Conversion Up: Basic Rules for Lambda Previous: Rules of Alpha Conversion   Contents   Index

Beta Conversion

$ \beta $-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.

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


Subsections

domain access counter Georg P. Loczewski 2004-03-05