Find the word definition

Wiktionary
beta reducing

vb. (present participle of beta reduce English)