Miscellaneous Papers (Invited or Otherwise Unrefereed)

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. Christoph Benzmüller and L. C. Paulson.
    Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II. In: Chris Benzmueller, 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.
    Subsequently accepted to Logica Universalis (2012).
  4. Lawrence C. Paulson. Functional Programming in ML.
    In Phillip Laplante (editor), Encyclopedia of Software Engineering (Taylor & Francis, 2010), 333–346.

Last modified 1 October, 2013

Last revised: 29 October, 2013
Lawrence C. PaulsonComputer LaboratoryUniversity of Cambridge