A Categorical Workspace for System Con (1996)

by G Hill
Venue:Advances in Theory and Formal Methods of Computing, Proceedings of the Third Imperial College Workshop