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

Some subterm of the original expression becomes the argument of the abstraction and the rest becomes its body. E.g.

4+1 --> (\ x . x+1) 4

The opposite of beta abstraction is beta reduction.

These are the two kinds of beta conversion.

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

best effort best first search Best Fit BETA beta |
beta abstraction beta conversion beta reduction |
beta conversion Betamaxed beta reduction beta testing beta version |

WeWork Office Space & Coworking

Address: 115 Broadway, New York, NY 10006

Hours: Opens 9AM - 6PM

Phone: +1 646-396-3519

shape

shape