Categories of processes enriched in final coalgebras
Sava Krsti/'c‚ John Launchbury and Dusko ́Pavlovic
Details
| Book Title |
Proceedings of FoSSaCS 2001 |
| Editor |
Furio Honsell |
| Pages |
303–317 |
| Publisher |
Springer Verlag |
| Series |
Lecture Notes in Computer Science |
| Volume |
2030 |
| Year |
2001 |
Links
Related pages
|
People |