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