ALPHA CONVERSION


Англо-русский перевод ALPHA CONVERSION

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

Масловский Е.К.. English-Russian dictionary of computer science.      Англо-Русский словарь по вычислительной технике и программированию.