alpha conversion

Программирование

альфа-преобразование

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