Skip to main content

Coalgebraic components in a many−sorted microcosm

Ichiro Hasuo‚ Chris Heunen‚ Bart Jacobs and Ana Sokolova

Book Title
CALCO'09
Journal
Lecture Notes in Computer Science
Pages
64−80
Publisher
Springer
Volume
5728
Year
2009