Author

Lawrence C. Paulson

19 books found

Cover of Interactive Theorem Proving

Interactive Theorem Proving

Lawrence C. Paulson,Matt Kaufmann · First published 2011

Cover of Isabelle/HOL

Isabelle/HOL

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel · First published 2002

Cover of Isabelle

Isabelle

Lawrence C. Paulson · First published 1994

Cover of ML for the working programmer

ML for the working programmer

Lawrence C. Paulson · First published 1991

Placeholder cover for The foundation of a generic theorem prover

The foundation of a generic theorem prover

Lawrence C. Paulson · First published 1988

Cover of Logic and computation

Logic and computation

Lawrence C. Paulson · First published 1987

Placeholder cover for Rewriting in Cambridge LCF

Rewriting in Cambridge LCF

Lawrence C. Paulson · First published 1987

Placeholder cover for The representation of logics in higher-order logic

The representation of logics in higher-order logic

Lawrence C. Paulson · First published 1987

Placeholder cover for Interactive theorem proving with Cambridge LCF

Interactive theorem proving with Cambridge LCF

Lawrence C. Paulson · First published 1985

Placeholder cover for Natural deduction proof as higher-order resolution

Natural deduction proof as higher-order resolution

Lawrence C. Paulson · First published 1985

Placeholder cover for Natural deduction theorem proving via higher-order resolution

Natural deduction theorem proving via higher-order resolution

Lawrence C. Paulson · First published 1985

Placeholder cover for Proving termination of normalization functions for conditional expressions

Proving termination of normalization functions for conditional expressions

Lawrence C. Paulson · First published 1985

Placeholder cover for Constructing recursions operators in intuitionistic type theory

Constructing recursions operators in intuitionistic type theory

Lawrence C. Paulson · First published 1984

Placeholder cover for Lessons learned from LCF

Lessons learned from LCF

Lawrence C. Paulson · First published 1984

Placeholder cover for Verifying the unification algorithm in LCF

Verifying the unification algorithm in LCF

Lawrence C. Paulson · First published 1984

Placeholder cover for Recent developments in LCF

Recent developments in LCF

Lawrence C. Paulson · First published 1983

Placeholder cover for Tactics and tacticals in Cambridge LCF

Tactics and tacticals in Cambridge LCF

Lawrence C. Paulson · First published 1983

Placeholder cover for The revised logic PPLamda a reference manual

The revised logic PPLamda a reference manual

Lawrence C. Paulson · First published 1983

Placeholder cover for Mechanized proofs of security protocols

Mechanized proofs of security protocols

Lawrence C. Paulson