title: HOL
text: # 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.
  