Skip to main content

Publications

Journal articles

Jay, CB 1989, 'Languages for monoidal categories', Journal of Pure and Applied Algebra, vol. 59, pp. 61-85.

Steffen, B, Jay, CB & Mendler, M 1989, 'Compositional characterisation of observable program properties'.