Invited Papers and Other Unrefereed Publications

These include a few early drafts of papers subsequently published later, as well as invited contributions to collected volumes.

  1. L. C. Paulson.
    The Descent of BAN. In: Andrew Herbert and Karen Spärck Jones (editors), Computer Systems: Theory, Technology, and Applications. (Springer, 2004), 225–228.
  2. Markus Wenzel and L. C. Paulson. Isabelle/Isar. In: Freek Wiedijk (editor), The Seventeen Provers of the World (Springer LNCS 3600, 2006), 41–49.
  3. Makarius Wenzel, L. C. Paulson, Tobias Nipkow.
    The Isabelle Framework.
    In: Otmane Ait Mohamed, César Muñoz, Sofiène Tahar (editors),
    Theorem Proving in Higher Order Logics (Springer LNCS 5170, 2008), 33–38.
  4. Christoph Benzmüller and L. C. Paulson.
    Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II.
    In: Chris Benzmüller, Chad Brown, Jörg Siekmann and Rick Statman (editors), Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday (College Publications, 2008), 401–422.
  5. Christoph Benzmüller and L.C.Paulson.
    Quantified Multimodal Logics in Simple Type Theory.
    CoRR (2009). Subsequently accepted to Logica Universalis (2012).
  6. L. C. Paulson. Functional Programming in ML.
    In Phillip Laplante (editor), Encyclopedia of Software Engineering (Taylor & Francis, 2010), 333–346.

Last revised: 28 August, 2014


Lawrence C. PaulsonComputer LaboratoryUniversity of Cambridge