Полный англо-русский словарь
Альфа-преобразование (в лямбда-исчислении — переименование формального параметра в абстрактную лямбда-структуру)