to syntactically replace a function call by the result of calling that function

listen to the pronunciation of to syntactically replace a function call by the result of calling that function
Английский Язык - Английский Язык
beta reduce

The term (\lambda x.\, x)\,y can beta reduce to y\!.

to syntactically replace a function call by the result of calling that function

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

    to syn·tac·ti·cal·ly re·place a func·tion call by the re·sult of call·ing that func·tion

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

Избранное
Еще...
Очистить