10. TPHOLs 1997:
Murray Hill, NJ, USA
James H. Andrews
: Executing Formal Specifications by Translation to Higher Order Logic Programming.
: Proof Normalization for a First-Order Formulation of Higher-Order Logic.
: Verifying the Accuracy of Polynomial Approximations in HOL.
: A Full Formalisation of pi-Calculus Theory in the Calculus of Constructions.
: Rewriting, Decision Procedures and Lemma Speculation for Automated Hardware Verification.
: Verification for Robust Specification.
: A Theory of Structured Model-Based Specifications in Isabelle/HOL.
: Derivation and Use of Induction Schemes in Higher-Order Logic.
: Higher Order Quotients and their Implementation in Isabelle HOL.
: Type Classes and Overloading in Higher-Order Logic.