Lawrence C. Paulson

  1. home
  2. Author
  3. Lawrence C. Paulson
Lawrence C. Paulson

5 Published BooksLawrence C. Paulson

Popular Books by Lawrence C. Paulson

ML for the Working Programmer, 2nd Edition
ML for the Working Programmer, 2nd Edition
View More

ML for the Working Programmer, 2nd Edition

By: Lawrence C. Paulson
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
View More

Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)

By: Lawrence C. Paulson
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
View More

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)

By: Tobias Nipkow
Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (828))
Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (828))
View More

Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (828))

By: Lawrence C. Paulson
Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science, 6172)
Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science, 6172)
View More

Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science, 6172)

By: Matt Kaufmann