ALPHA CONVERSION Англо-русский перевод ALPHA CONVERSION альфа-преобразование (в лямбда-исчислении - переименование формального параметра в абстрактную лямбда-структуру) New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011