beta reduction

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