HOL
From Wikipedia, the free encyclopedia
HOL can refer to any of the following:
- HOL is an abbreviation for higher-order language, aka, High-level programming language, such as Fortran, COBOL, ALGOL, PL/1, or SNOBOL to distinguish such programming languages from assembly language.
- HOL is an abbreviation for higher-order logic, a branch of symbolic logic in which statements can be quantified over objects, predicates, predicates of predicates etc.
- There is a theorem prover called HOL; see HOL theorem prover.
- Hol is a municipality in the county of Buskerud, Norway.
- The Hall of Light, an Amiga games database [1].
- The former IOC country-code for the Netherlands.
- The abbreviation for Greek Internet Service Provider "Hellas On-Line", which offers broadband and dial-up internet services.
See also: List of people by name: Hol
 |
This disambiguation page lists articles associated with the same title. If an internal link led you here, you may wish to change the link to point directly to the intended article. |
