Structural Operational Semantics for Heterogeneously Typed Coalgebras.

Harald Knig, Uwe Wolter, Tim Kruter

Browse the full CALCO paper archive.