beta reduce

Verb

 * 1)  To syntactically replace a function call by the result of calling that function.
 * The term $$(\lambda x.\, x)\,y$$ can beta reduce to $$y\!$$.