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

Английский Язык - Английский Язык

Определение 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 syn·tac·ti·cal·ly re·place a func·tion call by the re·sult of call·ing that func·tion