ArticlesSketches Dedicated to Michael Barr on the occasion of his 60th birthday
Under a Creative Commons license
open access
Cited by (0)
- 1
This work has been done with the support of the COE budget of STA Japan.
- 2
The second author also acknowledges the support of EPSRC grant GR/J84205: Frameworks for programming language semantics and logic.
Copyright © 1997 Elsevier B.V.