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

English - English

Definition of to syntactically replace a function call by the result of calling that function in English English dictionary

beta reduce

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

Hyphenation

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