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