Wiktionary
beta reduction
n. The act of beta reduce, an instance of replacing a function call by the result of calling a function.