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
Ichiro Hasuo‚ Chris Heunen‚ Bart Jacobs and Ana Sokolova