Books, Edited Works, etc

  1. L. C. Paulson.
    A Compiler Generator for Semantic Grammars. PhD Thesis, Stanford University (1981).
  2. L. C. Paulson.
    Logic and Computation: Interactive proof with Cambridge LCF (Cambridge University Press, 1987).
  3. L. C. Paulson.
    ML for the Working Programmer (Cambridge University Press, 1991; second edition, 1996).
  4. L. C. Paulson.
    Isabelle: A Generic Theorem Prover (Springer LNCS 828, 1994).
  5. L. C. Paulson (editor).
    Proceedings of the First Isabelle Users Workshop. Technical Report 379, Computer Lab (1995).
  6. Tobias Nipkow, L. C. Paulson and Markus Wenzel.
    Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Springer LNCS 2283, 2002).
  7. 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).
  8. Matt Kaufmann and Lawrence C. Paulson (Editors).
    Interactive Theorem Proving. First International Conference, ITP 2010, Edinburgh, UK
    (Springer LNCS 6172, 2010).

Last revised: 1 July, 2013

Last revised: 28 August, 2014


Lawrence C. PaulsonComputer LaboratoryUniversity of Cambridge