Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Lawrence C. Paulson
Lawrence C. Paulson
All books by Lawrence C. Paulson
(
Displaying 19 Books
)
Constructing recursions operators in intuitionistic type theory
Lawrence C. Paulson
Interactive theorem proving with Cambridge LCF
Lawrence C. Paulson
Isabelle
Lawrence C. Paulson
Isabelle/HOL
Tobias Nipkow
Lessons learned from LCF
Lawrence C. Paulson
Logic and computation
Lawrence C. Paulson
Logic and Computation
Lawrence C. Paulson
Mechanized proofs of security protocols
Lawrence C. Paulson
ML for the working programmer
Lawrence C. Paulson
Natural deduction proof as higher-order resolution
Lawrence C. Paulson
Natural deduction theorem proving via higher-order resolution
Lawrence C. Paulson
Proving termination of normalization functions for conditional expressions
Lawrence C. Paulson
Recent developments in LCF
Lawrence C. Paulson
Rewriting in Cambridge LCF
Lawrence C. Paulson
Tactics and tacticals in Cambridge LCF
Lawrence C. Paulson
The foundation of a generic theorem prover
Lawrence C. Paulson
The representation of logics in higher-order logic
Lawrence C. Paulson
The revised logic PPLamda a reference manual
Lawrence C. Paulson
Verifying the unification algorithm in LCF
Lawrence C. Paulson
Looking for another book by Lawrence C. Paulson?
Search for the book
by title.
