What does HOL stand for?

What does HOL mean? We have 3 definitions. Read most used HOL meanings below.

ADVERTISEMENT