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.

Georg P. Loczewski 2004-03-05

Impressum und Datenschutz