Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan. An Internal Language for Interaction Categories. In Chris Hankin, Ian Mackie, Rajagopal Nagarajan, editors, Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, 11-14 September 1994. pages 85-104, Imperial College Press, 1994.
No references recorded for this publication.
No citations of this publication recorded.