BETA REDUCTION

Domain	Definition
Computing	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. Source: The Free On-line Dictionary of Computing.
Source: compiled by the editor from various references; see credits.

Anagrams: BETA REDUCTION

Scrabble® Enable2K-Verified Anagrams
	Words within the letters "a-b-c-d-e-e-i-n-o-r-t-t-u"
	-2 letters: contributed, counterbade, deuteration, reeducation.
	-3 letters: auctioneer, contribute, counterbid, detraction, eructation, interacted, orientated, rebuttoned, reobtained, turbinated.
	-4 letters: abduction, auctioned, bacteroid, beatitude, bratticed, butadiene, carnotite, cautioned, certitude, countered, curtained, debutante, detection, education, eructated, eutectoid, iceboater, incubated, incubator, intreated, introduce, intubated, obturated, orientate, outdebate, outearned, recondite, recounted, rectitude, redaction, reductant, reduction, tinctured, tribunate, truncated, tunicated, turbinate.
Source: compiled by the editor from various references; see credits. SCRABBLE® is a registered trademark. All intellectual property rights in and to the game are owned in the U.S.A and Canada by Hasbro Inc., and throughout the rest of the world by J.W. Spear & Sons Limited of Maidenhead, Berkshire, England, a subsidiary of Mattel Inc. Mattel and Spear are not affiliated with Hasbro.