Combining Bialgebraic Semantics and Equations.

Jurriaan Rot, Marcello M. Bonsangue

Browse the full FOSSACS paper archive.