What Does HOL Stand For?

HOL has more than one possible meaning :

• HOL - High Order Language
• HOL - Higher Order Language

If you know of another acronym for HOL, please suggest it as a new acronym for HOL.