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: [email protected].

["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].

< Previous Terms	Terms Containing HOL	Next Terms >
hn Hoare powerdomain Hobbit hobbit hog	64-bit Accounting File Acorn Computer Group Advanced RISC Machine algebra	HOL-88 HOL-90 hole hole model Hollerithabetical order