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 reduces

Third-person singular simple present indicative form of beta reduce

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

Be·ta re·duce

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

beytı ridus

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

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