бета-редукция Существительное, неодушевлённое, женский род (тип склонения ?? по классификации А. А. Зализняка). Корень: --.
матем. в λ-исчислении: операция переписывания редекса в соответствии с указанным правилом