Publications of L. C. Paulson

• Refereed Articles
  • Isabelle
  • Security Protocols
  • Automation (Sledgehammer)
  • MetiTarski Prover
  • Set Theory
  • UNITY Formalism
  • Induction / Recursion
  • LCF and HOL Systems
• Workshop Papers
• Misc Papers
• Lecture Courses
  • Foundations of Computer Science
  • Logic and Proof
  • Interactive Formal Verification
• Books

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.
4. Christoph Benzmüller and L. C. Paulson.
   Quantified Multimodal Logics in Simple Type Theory. SEKI Report SR-2009-02, 2009.
   Subsequently accepted to Logica Universalis (2012).
5. Lawrence C. Paulson. Functional Programming in ML.
   In Phillip Laplante (editor), Encyclopedia of Software Engineering (Taylor & Francis, 2010), 333–346.

Last modified 31 May, 2012