Henson, Martin C.Reeves, Steve2008-10-202008-10-201998-03Henson, M. C. & Reeves, S. (1998). New foundations for Z. (Working paper 98/6). Hamilton, New Zealand: University of Waikato, Department of Computer Science.1170-487Xhttps://hdl.handle.net/10289/1051We provide a constructive and intensional interpretation for the specification language Z in a theory of operations and kinds T. The motivation is to facilitate the development of an integrated approach to program construction. We illustrate the new foundations for Z with examples.application/pdfencomputer scienceWorking Paper