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

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

alpha conversion

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