Proofs Without Syntax (2006)

by Dominic J D Hughes
Venue:Annals of Mathematics, ISO/IEC (2002) Z Formal Specification Notation — Syntax, Type System, and Semantics, IS 13568, International Organisation for Standardisation