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