English - English
Definition of beta reduce in English English dictionary
- To syntactically replace a function call by the result of calling that function
The term (\lambda x.\, x)\,y can beta reduce to y\!.
- beta reduces
- Third-person singular simple present indicative form of beta reduce
Related Terms
beta reduce
Hyphenation
Be·ta re·duceTurkish pronunciation
beytı ridusPronunciation
/ˈbātə rēˈdo͞os/ /ˈbeɪtə riːˈduːs/
Resimler
History
Favorites