Categories of processes enriched in final coalgebras

Bibliographic Details
Main Authors: Krsti/'c, S, Launchbury, J, ́Pavlovic, D
Format: Conference item
Published: Springer Verlag 2001