Specifying Theorem Provers in a Higher-Order Logic Programming Language.

Amy P. Felty, Dale Miller

Browse the full CADE paper archive.