Books, Edited Works, etc
- L. C. Paulson.
A Compiler Generator for Semantic Grammars. PhD Thesis, Stanford University (1981).
- L. C. Paulson.
Logic and Computation: Interactive proof with Cambridge LCF (Cambridge University Press, 1987).
- L. C. Paulson.
ML for the Working Programmer (Cambridge University Press, 1991; second edition, 1996).
- L. C. Paulson.
Isabelle: A Generic Theorem Prover (Springer LNCS 828, 1994).
- L. C. Paulson (editor).
Proceedings of the First Isabelle
Users Workshop. Technical Report 379, Computer Lab (1995).
- Tobias Nipkow, L. C. Paulson and Markus Wenzel.
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Springer LNCS 2283, 2002).
- Bernhard Beckert and Lawrence C. Paulson (Editors).
Special Issue on Automated Reasoning with Analytic Tableaux and
Related Methods. J. Automated Reasoning 38 1–3 (2007).
- Matt Kaufmann and Lawrence C. Paulson (Editors).
Interactive Theorem Proving.
First International Conference, ITP 2010, Edinburgh, UK
(Springer LNCS 6172, 2010).