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