It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by RenameBot
August 29, 2008 | History
Edit

Lawrence C. Paulson

We need a photo of Lawrence C. Paulson

19 works Add another?

Showing all works by author. Would you like to see only ebooks?

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

    First published in 1994 — 3 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: ML for the working programmer

    First published in 1991 — 3 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logic and Computation: Interactive Proof with Cambridge LCF

    First published in 1987 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)

    First published in 2002 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)

    Cover of edition logiccomputation00lcpa First published in 1987 — 2 editions
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Constructing recursions operators in intuitionistic type theory.

    First published in 1984 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: foundation of a generic theorem prover.

    First published in 1988 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Interactive theorem proving with Cambridge LCF: a user's manual.

    First published in 1985 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Lessons learned from LCF.

    First published in 1984 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Mechanized proofs of security protocols: Needham-Schroeder with public keys

    1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Natural deduction proof as higher-order resolution.

    First published in 1985 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Natural deduction theorem proving via higher-order resolution.

    First published in 1985 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Proving termination of normalization functions for conditional expressions.

    First published in 1985 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Recent developments in LCF: examples of structural induction.

    First published in 1983 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: representation of logics in higher-order logic.

    First published in 1987 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: revised logic PPLamda a reference manual.

    First published in 1983 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Rewriting in Cambridge LCF.

    First published in 1987 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Tactics and tacticals in Cambridge LCF.

    First published in 1983 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Verifying the unification algorithm in LCF.

    First published in 1984 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Lawrence C. Paulson

Subjects

Automatic theorem proving, Cambridge LCF (Computer system), Computable functions, Data processing, Calculabilité, Cambridge LCF (logiciel), Computer logic, Computer programs, Computer security, Démonstration de théorème, Fonctions calculables, Isabelle (Computer file), Logic, symbolic and mathematical, ML (Computer program language), Mathematical models

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL531322A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
August 29, 2008 Edited by RenameBot fix author name
April 1, 2008 Created by an anonymous user initial import