Tool support for logics of programs /
Lawrence C. Paulson

Similar Items

• The representation of logics in higher-order logic

  Author

  Paulson, Lawrence C.

  Published

  1987

• Isabelle's object-logics

  Author

  Paulson, Lawrence C

  Published

  1994

• Logic programming, functional programming, and inductive defintions

  Author

  Paulson, Lawrence C.

  Published

  1990

• Set theory as a computational logic

  Author

  Paulson, Lawrence C.

  Published

  1992

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

  Author

  Paulson, Lawrence C

  Published

  1993

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

  Author

  Paulson, Lawrence C.

  Published

  1989

• A preliminary user's manual for Isabelle

  Author

  Paulson, Lawrence C.

  Published

  1988

• Elbereth : tool support for refactoring Java programs

  Author

  Korman, Walter Fred

  Published

  1998

• A concrete final coalgebra theorem for ZF set theory

  Author

  Paulson, Lawrence C

  Published

  1994

• Set theory for verification. II, Induction and recursion

  Author

  Paulson, Lawrence C

  Published

  1993