beta reductions

== English == === Noun === beta reductions plural of beta reduction