Electronic Notes in Theoretical Computer Science, Volume 33
CMCS'2000 Coalgebraic Methods in Computer Science
Berlin, Germany, 25-26 March 2000
Michael Baldamus:
Compositional Constructor Interpretation over Coalgebraic Models for the pi-Calculus. 13-41 Corina Cîrstea:
An Algebra-Coalgebra Framework for System Specification. 80-110 Bart Jacobs:
Towards a Duality Result in Coalgebraic Modal Logic. 160-195 Erik Poll:
A Coalgebraic Semantics of Subtyping. 276-293 Uwe Wolter:
On Corelations, Cokernels, and Coequations. 317-336 James Worrell:
Coinduction for recursive data types: partial orders, metric spaces and Omega-categories. 337-356
maintained by

at
