Home / Dictionary / Beta reduce

Beta reduce Uncommon

Definition, synonyms and related words

Definitions
Verb
1

To syntactically replace a function call by the result of calling that function.

See Also
beta reduction beta convert beta conversion function
Related Terms
Rhyming Words
uce puce luce duce pauce sauce bruce truce douce educe pruce peuce deuce deduce induce abduce spruce seduce almuce adduce
Compare
Beta reduce vs