English - English
Definition of beta reducing in English English dictionary
- Present participle of beta reduce
- 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\!.
Related Terms
beta reducing
Hyphenation
Be·ta re·du·cingTurkish pronunciation
beytı ridusîngPronunciation
/ˈbātə rēˈdo͞osəɴɢ/ /ˈbeɪtə riːˈduːsɪŋ/
Resimler
History
Favorites