Isomorphisms — A Link Between the Shallow and the Deep

This publication has 14 references indexed in Scilit:

• Object-oriented verification based on record subtyping in Higher-Order Logic
  Published by Springer Nature ,1998
• I/O automata and beyond: Temporal logic and abstraction in Isabelle
  Published by Springer Nature ,1998
• Reasoning about classes in object-oriented languages: Logical models and tools
  Published by Springer Nature ,1998
• Treating Partiality in a Logic of Total Functions
  The Computer Journal, 1997
• More Church-Rosser proofs (in Isabelle/HOL)
  Published by Springer Nature ,1996
• A structure preserving encoding of Z in isabelle/HOL
  Published by Springer Nature ,1996
• Set theory, higher order logic or both?
  Published by Springer Nature ,1996
• A shallow embedding of Z in HOL
  Information and Software Technology, 1995
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Proof of correctness of data representations
  Acta Informatica, 1972