HOL Англо-русский перевод HOL сокр. [higher-order language] высокоорганизованный алгоритмический язык Big English-Russian dictionary . Большой Англо-Русский словарь. 2012