Category theory for operational semantics (0)

by M Lenisa, A J Power, H Watanabe
Venue:Theoret. Comput. Sci