An internal language for interaction categories (1995)

Cached

Download Links

by Simon Gay , Rajagopal Nagarajan
Venue:In Theory and Formal Methods 1994: Proceedings of the Second Imperial College Department of Computing Workshop on Theory and Formal Methods. Imperial
Citations:3 - 0 self