HOL
# HOL

* Sigles de 2 caractères
* ► Sigles de 3 caractères
* Sigles de 4 caractères
* Sigles de 5 caractères
* Sigles de 6 caractères
* Sigles de 7 caractères
* Sigles de 8 caractères

Sur les autres projets Wikimedia :

HOL est un code qui peut signifier :

HOL est un sigle qui peut signifier :

* Higher-order logic (en français, logique d'ordre supérieur), en informatique théorique, des logiques formelles permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats ;
* HOL (en) (où HOL signifie Higher Order Logic), une famille de systèmes interactifs de démonstration de théorèmes utilisant des logiques d'ordre supérieur ;
* Havas Online, un ancien FAI français.

## Toponyme

Hol est un nom de lieu notamment porté par :

* Hol, une commune du comté de Buskerud en Norvège ;
* Hol, une municipalité du comté de Nordland en Norvège.
