Categories of processes enriched in final coalgebras
Sava Krsti/'c‚ John Launchbury and Dusko ́Pavlovic
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