beta reducing

English - English

Definition of beta reducing in English English dictionary

Present participle of beta reduce

Related Terms

beta reduce

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

The term (\lambda x.\, x)\,y can beta reduce to y\!.

Hyphenation

Be·ta re·du·cing

Turkish pronunciation

beytı ridusîng

Pronunciation

/ˈbātə rēˈdo͞osəɴɢ/ /ˈbeɪtə riːˈduːsɪŋ/