Coalgebraic Components in a Many-Sorted Microcosm

by Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova