Book Review: Introduction to HOL: A Theorem Proving Environment for Higher Order Logic by Mike Gordon and Tom Melham (eds.), Cambridge University Press, 1993, ISBN 0-521-44189-7
No abstract available.
Related papers
- Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574 JFP 2011
- Admissible Types-to-PERs Relativization in Higher-Order Logic POPL 2023
- Safety and conservativity of definitions in HOL and Isabelle/HOL POPL 2018
- A fully adequate shallow embedding of the [pi]-calculus in Isabelle/HOL with mechanized syntax analysis JFP 2003
- A Lambda-Superposition Tactic for Isabelle/HOL CPP 2026
- An extension of the framework types-to-sets for Isabelle/HOL CPP 2022
- Proof-producing translation of higher-order logic into pure and stateful ML JFP 2014
- HOLCF=HOL+LCF JFP 1999