| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 423427 | Electronic Notes in Theoretical Computer Science | 2008 | 22 Pages |
Abstract
In this paper we introduce the notion of an observational coalgebra structure and of a complete set of co-operations. We demonstrate in various example the usefulness of these notions, in particular, we show how they give rise to coalgebraic proof and definition principles.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
