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