Find the word definition

Wiktionary
beta reductions

n. (beta reduction English)