ALPHA CONVERSION


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

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

Big English-Russian dictionary .      Большой Англо-Русский словарь.