Coalgebraic components in a many-sorted microcosm (0)

by I Hasuo, C Heunen, B Jacobs, A Sokolova
Venue:in: Conference on Algebra and Coalgebra in Computer Science