Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Lawrence C. Paulson | lit.salon

Author

Lawrence C. Paulson

19 works

1987–2002 across 5 dated works

No biography is available yet.

Start with

Logic and Computation Interactive Proof with Cambridge LCF1987
Logic and computation: interactive proof with Cambridge LCF1987
ML for the working programmer1991
Isabelle: a generic theorem prover1994

Books

19 works

Featured (5)Featured (5)All (19)All (19)

Search booksSort books

ML for the working programmer1991
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Isabelle: a generic theorem prover1994
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Logic and computation: interactive proof with Cambridge LCF1987
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Logic and Computation Interactive Proof with Cambridge LCF1987
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)2002
With Tobias Nipkow, Markus Wenzel
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Lessons learned from LCF.1984
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Recent developments in LCF: examples of structural induction.1983
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Proving termination of normalization functions for conditional expressions.1985
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Tactics and tacticals in Cambridge LCF.1983
1 edition
shelves
0
reviews
0
lists
0
quotes
0
foundation of a generic theorem prover.1988
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Natural deduction theorem proving via higher-order resolution.1985
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Interactive theorem proving with Cambridge LCF: a user's manual.1985
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Constructing recursions operators in intuitionistic type theory.1984
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Natural deduction proof as higher-order resolution.1985
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Rewriting in Cambridge LCF.1987
1 edition
shelves
0
reviews
0
lists
0
quotes
0
The revised logic PPLamda a reference manual.1983
1 edition
shelves
0
reviews
0
lists
0
quotes
0
representation of logics in higher-order logic.1987
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Verifying the unification algorithm in LCF.1984
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Mechanized proofs of security protocols: Needham-Schroeder with public keys
Date unknown
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Lawrence C. Paulson.

The conversation is still open.

There is no public salon activity to show for Lawrence C. Paulson yet.