beta reducing

listen to the pronunciation of beta reducing
Englisch - Englisch
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\!.

beta reducing

    Silbentrennung

    Be·ta re·du·cing

    Türkische aussprache

    beytı ridusîng

    Aussprache

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