ALPHA CONVERSION


Англо-русский перевод ALPHA CONVERSION

альфа-преобразование (в лямбда-исчислении - переименование формального параметра в абстрактную лямбда-структуру)

New large English-Russian dictionary .      Новый большой Англо-Русский словарь.