Coalgebraic Components in a Many-Sorted Microcosm.

Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova

Browse the full CALCO paper archive.