Executing HOL specifications: Towards an evaluation semantics for classical higher order logic (1992)

by P Sreeranga Rajan
Venue:Higher order Logic Theorem Proving and its Applications