Home  Online Resources  Table of Contents

Journal of Logic and Computation, Volume 9, Issue 6, pp. 959-975: Abstract.

Sets, types and type-checking

R Turner

Department of Computing Science, University of Essex, Colchester, Essex, UK, E-mail: turnr@essex.ac.uk

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

  Full-Text PDF  (175 KB)


[ Oxford University Press]   [ Oxford Journals]   [ Comments & Feedback]   Copyright© Oxford University Press, 1999.