On the semantic relation of Z and HOL

• 1 January 1998
• book chapter
• Published by Springer Nature
• p. 96-115
• https://doi.org/10.1007/bfb0056028

Abstract

Keywords

• ISOMORPHISM
• HIGHER ORDER
• ISABELLE/HOL
• SEMANTIC MODELS
• ORDER LOGIC