[lambda-calculus] The application of a lambda abstraction to an argument expression.

A copy of the body of the lambda abstraction is made and occurrences of the bound variable being replaced by the argument.

E.g.

(\ x . x+1) 4

-->

4+1

Beta reduction is the only kind of reduction in the pure lambda-calculus.

The opposite of beta reduction is beta abstraction.

These are the two kinds of beta conversion.

See also name capture.

< Previous Terms |
Terms Containing beta reduction |
Next Terms > |

BETA beta beta abstraction beta conversion Betamaxed |
beta abstraction beta conversion beta reduction delta reduction inline |
beta testing beta version Bezier Bezier curve Bezier surface |

WeWork Office Space & Coworking

Address: 115 Broadway, New York, NY 10006

Hours: Opens 9AM - 6PM

Phone: +1 646-396-3519

shape

shape