CoRR, January 1993
- Lawrence C. Paulson:
Verifying the Unification Algorithm in LCF.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.LO/9301101]
- Lawrence C. Paulson:
Constructing Recursion Operators in Intuitionistic Type Theory.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.LO/9301102]
- Lawrence C. Paulson:
Proving Termination of Normalization Functions for Conditional Expressions.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.LO/9301103]
- Lawrence C. Paulson:
Natural Deduction as Higher-Order Resolution.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.LO/9301104]
- Lawrence C. Paulson:
The Foundation of a Generic Theorem Prover.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.LO/9301105]
- Lawrence C. Paulson:
Isabelle: The Next 700 Theorem Provers.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.LO/9301106]
- Lawrence C. Paulson:
A Formulation of the Simple Theory of Types (for Isabelle).
, (informal publication)
Electronic Edition (link) BibTeX
[cs.LO/9301107]
- Lawrence C. Paulson:
A Higher-Order Implementation of Rewriting.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.LO/9301108]
- Lawrence C. Paulson, Andrew W. Smith:
Logic Programming, Functional Programming, and Inductive Definitions.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.LO/9301109]
- Lawrence C. Paulson:
Designing a Theorem Prover.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.LO/9301110]
Copyright © Sat May 16 23:53:55 2009
by Michael Ley (ley@uni-trier.de)