бета-редукция
Значения
noun
- матем. в λ-исчислении: операция переписывания редекса в соответствии с указанным правилом
Произношение
Формы слова
Предыдущие
Данные карточки собраны из открытого источника: Викисловарь (CC BY-SA/GFDL). Формы слова служат для поиска и не индексируются как отдельные страницы.