Set theory for verification.
II,
Induction and recursion /
Lawrence C. Paulson

Similar Items

• Co-induction and co-recursion in higher-order logic

  Author

  Paulson, Lawrence C

  Published

  1993

• A concrete final coalgebra theorem for ZF set theory

  Author

  Paulson, Lawrence C

  Published

  1994

• Set theory as a computational logic

  Author

  Paulson, Lawrence C.

  Published

  1992

• Final coalgebras as greatest fixed points in ZF set theory

  Author

  Paulson, Lawrence C

  Published

  1999

• Mechanising set theory : cardinal arithmetic and the axiom of choice

  Author

  Paulson, Lawrence C

  Published

  1995

• The inductive approach to verifying cryptographic protocols

  Author

  Paulson, Lawrence C

  Published

  1998

• A formulation of the simple theory of types : for Isabelle

  Author

  Paulson, Lawrence C.

  Published

  1989

• Induction, recursion, and programming

  Author

  Wand, Mitchell.

  Published

  1980

• A preliminary user's manual for Isabelle

  Author

  Paulson, Lawrence C.

  Published

  1988

• Tool support for logics of programs

  Author

  Paulson, Lawrence C

  Published

  1996