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\!.