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

Lecture Courses

1. Foundations of Computer Science (15 lectures on programming, using ML)
2. Logic and Proof (12 lectures)
3. Interactive Formal Verification (12 lectures and 4 practical classes)

   Past courses :

4. Foundations of Functional Programming (lambda calculus and combinators).
5. Introduction to Functional Programming (12 lectures on ML)
6. Software Engineering I (6 lectures)
7. Software Engineering II (6 lectures)
8. Problem Solving in ML (6 lectures)