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

Englisch - Englisch

Definition von to syntactically replace a function call by the result of calling that function im Englisch Englisch wörterbuch

beta reduce

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

Silbentrennung

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