beta reduced

listen to the pronunciation of beta reduced
English - English
Simple past tense and past 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\!.

beta reduced

    Hyphenation

    Be·ta re·duced

    Turkish pronunciation

    beytı ridust

    Pronunciation

    /ˈbātə rēˈdo͞ost/ /ˈbeɪtə riːˈduːst/
Favorites