An internal language for interaction categories (1995)

by R Gay Crole, S, N R
Venue:Imperial College Department of Computing Workshop. Imperial College