Executing Higher Order Logic
- 14 February 2002
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- More Church–Rosser ProofsJournal of Automated Reasoning, 2001
- Computer-Aided ReasoningPublished by Springer Nature ,2000
- Lazy Infinite-State Analysis of Security ProtocolsPublished by Springer Nature ,1999
- Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem ProvingPublished by Springer Nature ,1999
- Machine-Checking the Java Specification: Proving Type-SafetyPublished by Springer Nature ,1999
- The inductive approach to verifying cryptographic protocolsJournal of Computer Security, 1998
- Executing formal specifications by translation to higher order logic programmingPublished by Springer Nature ,1997
- Synthesis of ML programs in the system CoqJournal of Symbolic Computation, 1993
- Executing HOL Specifications: Towards an Evaluation Semantics for Classical Higher Order LogicPublished by Elsevier ,1993
- Logic programming in the LF logical frameworkPublished by Cambridge University Press (CUP) ,1991