HOL


Also found in: Dictionary, Acronyms, Wikipedia.

HOL

Higher Order Logic. A proof-generating system for higher order logic based on LCF. Implementations include HOL-88 and HOL-90.

ftp://ted.cs.uidaho.edu/pub/hol. Mailing list: info-hol@ted.cs.uidaho.edu.

["HOL: A Machine Oriented Formulation of Higher Order Logic", M.J.C. Gordon, Report 68, Comp Lab U Cambridge (1985)].

["Introduction to HOL", M.J.C. Gordon et al, Cambridge U Press 1993 ISBN 0-521-441897].
References in periodicals archive ?
Benewens gemeenskaplike temas in die twee dramas soos vroulike skoonheid en seksuele geweld teenoor vroue, verwys albei stukke in die verbygaan na breer aktuele kwessies: wereldwye hongersnood in Hol (44) en bedreigde spesies in Trippie (70-1).
Health Outcomes Liaisons Excellence: How the HOL Function Drives Value Across the Healthcare Industry" is a 63-page study that probes the structure, resources and activities of Health Outcome Liaisons (HOL) programs at leading organizations.
Rosie won the grand prize of a five night's stay at Hol Chan Reef Resort and Villas for two in a spectacular ocean front room.
HOL credits the activists and the Catholic Church of Mexico, which was concerned about the ongoing destruction of Mexican families and village life.
The Young Man of Chan Hol is the fourth in a series of significant archaeological finds in the caves of Quintana Roo.
HOL is also in strategic cooperation talks with its biggest rival, Forthnet, which dominates Greek pay television but has no exposure in the mobile phone market.
Clarify the HOL role and value as separate from the MSL (field force) role and value.
The report, "Health Outcomes Liaison Excellence: How the HOL Function Drives Value Across the Healthcare Industry," explores how leading companies deliver exceptional HOL services in an ever-changing business environment.
The HOL now has 876 peers, there is no upper limit.
No fewer than 10,000 years ago, Chan Hol filled with seawater as Ice Age ice caps melted, the researchers said.
Managers first determine HOL activities, then decide which structural alignment will allow them to meet a number of goals
To help pharmaceutical executives better navigate and understand the activities of effective HOL programs at leading organizations, research and consulting firm Best Practices, LLC has published a research study on the emerging role of these specialized communicators.