Coalgebraic components in a many−sorted microcosm
Ichiro Hasuo‚ Chris Heunen‚ Bart Jacobs and Ana Sokolova
Details
| Book Title |
CALCO'09 |
| Journal |
Lecture Notes in Computer Science |
| Pages |
64−80 |
| Publisher |
Springer |
| Volume |
5728 |
| Year |
2009 |
Links
DOI (10.1007/978-3-642-03741-2_6)
Related pages
|
People |