Wiktionary
beta reduce
vb. (context computer science transitive or intransitive English) To syntactically replace a function call by the result of calling that function.