HOL

Сокр. [higher-order language] высокоорганизованный алгоритмический язык

Источник: Полный англо-русский словарь на Gufo.me