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