Category theory for operational semantics (0)

by M Lenisa, J Power, H Watanabe
Venue:In: Theoretical Computer Science