This page shows all presentations of this author published in EasyChair Smart Slide.
Structural Operational Semantics for Heterogeneously Typed Coalgebras
Harald König, Uwe Wolter and Tim Kräuter