beta reductions

listen to the pronunciation of beta reductions
English - English
plural form of beta reduction
beta reduction
The act of beta reducing, an instance of replacing a function call by the result of calling a function