ALPHA CONVERSION


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

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

English-Russian dictionary of computers .      Англо-Русский словарь по компьютерам.