Abstract Theories in HOL.

Phillip J. Windley

Published in: TPHOLs (1992)

Keyphrases

high level
theoretical framework
higher level
theorem prover
formal methods
search engine
cognitive psychology
higher order logic