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