beta reduction

Also found in: Wikipedia

0.01 sec.

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

?Page tools

Feedback

Mentioned in

Encyclopedia browser

Full browser

Beta Centauri
beta conversion
Beta Crucis
beta decay
beta particle
Beta particles
Beta Persei

beta reduction
beta release
beta site
Beta tape
beta test
beta testing
beta version
beta-blocker

Free Tools:	For surfers: Browser extension \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup \| Partner with us

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.. Terms of Use.