beta reducing

listen to the pronunciation of beta reducing
Английский Язык - Английский Язык
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

    Расстановка переносов

    Be·ta re·du·cing

    Турецкое произношение

    beytı ridusîng

    Произношение

    /ˈbātə rēˈdo͞osəɴɢ/ /ˈbeɪtə riːˈduːsɪŋ/
Избранное