Lawrence C. Paulson

19 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

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

by Lawrence C. Paulson First published in 1994 — 3 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
ML for the working programmer

by Lawrence C. Paulson First published in 1991 — 3 editions

Locate

My Reading Lists:

Create a new list
Preview

Preview Book
×Close

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

by Lawrence C. Paulson First published in 1987 — 2 editions

Preview Only

My Reading Lists:

Create a new list
Logic and Computation: Interactive Proof with Cambridge LCF

by Lawrence C. Paulson First published in 1987 — 2 editions

Locate

My Reading Lists:

Create a new list
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)

by Tobias Nipkow, Lawrence C. Paulson, and Markus Wenzel First published in 2002 — 2 editions

Locate

My Reading Lists:

Create a new list
Constructing recursions operators in intuitionistic type theory.

by Lawrence C. Paulson First published in 1984 — 1 edition

Locate

My Reading Lists:

Create a new list
foundation of a generic theorem prover.

by Lawrence C. Paulson First published in 1988 — 1 edition

Locate

My Reading Lists:

Create a new list
Interactive theorem proving with Cambridge LCF: a user's manual.

by Lawrence C. Paulson First published in 1985 — 1 edition

Locate

My Reading Lists:

Create a new list
Lessons learned from LCF.

by Lawrence C. Paulson First published in 1984 — 1 edition

Locate

My Reading Lists:

Create a new list
Mechanized proofs of security protocols: Needham-Schroeder with public keys

by Lawrence C. Paulson 1 edition

Locate

My Reading Lists:

Create a new list
Recent developments in LCF: examples of structural induction.

by Lawrence C. Paulson First published in 1983 — 1 edition

Locate

My Reading Lists:

Create a new list
representation of logics in higher-order logic.

by Lawrence C. Paulson First published in 1987 — 1 edition

Locate

My Reading Lists:

Create a new list
revised logic PPLamda a reference manual.

by Lawrence C. Paulson First published in 1983 — 1 edition

Locate

My Reading Lists:

Create a new list
Rewriting in Cambridge LCF.

by Lawrence C. Paulson First published in 1987 — 1 edition

Locate

My Reading Lists:

Create a new list
Natural deduction proof as higher-order resolution.

by Lawrence C. Paulson First published in 1985 — 1 edition

Locate

My Reading Lists:

Create a new list
Natural deduction theorem proving via higher-order resolution.

by Lawrence C. Paulson First published in 1985 — 1 edition

Locate

My Reading Lists:

Create a new list
Proving termination of normalization functions for conditional expressions.

by Lawrence C. Paulson First published in 1985 — 1 edition

Locate

My Reading Lists:

Create a new list
Tactics and tacticals in Cambridge LCF.

by Lawrence C. Paulson First published in 1983 — 1 edition

Locate

My Reading Lists:

Create a new list
Verifying the unification algorithm in LCF.

by Lawrence C. Paulson First published in 1984 — 1 edition

Locate

My Reading Lists:

Create a new list

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL531322A

Links outside Open Library

No links yet. Add one?

History

Created April 1, 2008
2 revisions

Download catalog record: RDF / JSON

August 29, 2008	Edited by RenameBot	fix author name
April 1, 2008	Created by an anonymous user	initial import

Lawrence C. Paulson

19 works Add another?

Create a new list

Preview Book

Subjects

Lists

Add to List

ID Numbers

Links outside Open Library

History