«alpha conversion»

alpha conversion в энциклопедиях

Источники

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