Journal of Logic and Computation, Volume 9, Issue 6, pp. 959-975: Abstract.
Sets, types and type-checking
Department of Computing Science, University of Essex, Colchester, Essex, UK, E-mail: email@example.com
The underlying set theory of the Z-specification language is said to be a typed set theory. There are two interpretations of this to be found in the literature. One is based upon Simple Type theory and the other on set theory plus a type assignment system. We establish their equivalence.
Keywords: Z, specification, set theory, type assignment, type theory