Синонимы к слову «бета-редукция»
Всего1 синонимЗначениетолкование слова
бета-редукциясущ.
матем. в λ-исчислении: операция переписывания редекса в соответствии с указанным правилом
Источник: Викисловарь, лицензия CC BY-SA 4.0. Перед заменой проверьте значение: синонимы различаются оттенками и стилем.