You need to sign in or sign up before continuing.

Lawrence C. Paulson

4 books

ML for the Working Programmer by Lawrence C. Paulson

ML for the Working Programmer

Lawrence C. Paulson

500 pages • first pub 1991 (editions)

nonfiction computer science informative medium-paced
Isabelle/Hol: A Proof Assistant for Higher-Order Logic by Lawrence C. Paulson, Markus Wenzel, Tobias Nipkow

Isabelle/Hol: A Proof Assistant for Higher-Order Logic

Lecture Notes in Computer Science

Lawrence C. Paulson, Markus Wenzel, Tobias Nipkow

226 pages • missing pub info (editions)

nonfiction art computer science mathematics
Isabelle: A Generic Theorem Prover by Lawrence C. Paulson

Isabelle: A Generic Theorem Prover

Lecture Notes in Computer Science

Lawrence C. Paulson

329 pages • missing pub info (editions)

nonfiction computer science design mathematics medium-paced
Logic and Computation: Interactive Proof with Cambridge Lcf by Lawrence C. Paulson
Logic and Computation: Interactive Proof with Cambridge Lcf
—
Lawrence C. Paulson

Logic and Computation: Interactive Proof with Cambridge Lcf

Lawrence C. Paulson

320 pages • first pub 1987 (editions)

informative lighthearted reflective medium-paced