Hol

3 definitions found

From The Collaborative International Dictionary of English v.0.48 [gcide]:

  Hol \Hol\, a. [See {Whole}.]
     Whole. [Obs.] --Chaucer.
     [1913 Webster]

From Virtual Entity of Relevant Acronyms (Version 1.9, June 2002) [vera]:



  HOL
       Head Of Line
       
       

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  HOL
       
          Higher Order Logic.  A proof-generating system for {higher
          order logic} based on {LCF}.  Implementations include {HOL-88}
          and {HOL-90}.
       
          {(ftp://ted.cs.uidaho.edu/pub/hol)}.  Mailing list:
          info-hol@ted.cs.uidaho.edu.
       
          ["HOL: A Machine Oriented Formulation of Higher Order Logic",
          M.J.C. Gordon, Report 68, Comp Lab U Cambridge (1985)].
       
          ["Introduction to HOL", M.J.C. Gordon et al, Cambridge U Press
          1993 ISBN 0-521-441897].