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