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
İngilizce - İngilizce
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

    Heceleme

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

    Telaffuz