Coalgebraic Components in a Many-Sorted Microcosm

by Ichiro Hasuo , Chris Heunen , Bart Jacobs , Ana Sokolova
Citations:6 - 3 self

Document Versions

Coalgebraic Components in a Many-Sorted Microcosm –Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova
Coalgebraic components in a manysorted microcosm –Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova — 2009 — Conference on Algebra and Coalgebra in Computer Science (CALCO 2009), number 5728 in Lect. Notes Comp. Sci