1 | -- | 26 | Peter Aczel, Jirí Adámek, Jiri Velebil. A Coalgebraic View of Infinite Trees and Iteration |
27 | -- | 46 | Jirí Adámek, Hans-E. Porst. From Varieties of Algebras to Covarieties of Coalgebras |
47 | -- | 66 | Luís Soares Barbosa. Process Calculià la Bird-Meertens |
67 | -- | 87 | Falk Bartels. Generalised Coinduction |
88 | -- | 127 | J. Robin B. Cockett. Deforestation, program transformation, and cut-elimination |
128 | -- | 145 | Neil Ghani, Christoph Lüth, Federico De Marchi, John Power. Algebras, Coalgebras, Monads and Comonads |
146 | -- | 160 | Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch. When is a function a fold or an unfold? |
161 | -- | 184 | Robert Goldblatt. A Calculus of Terms for Coalgebras of Polynomial Functors |
185 | -- | 204 | H. Peter Gumm, Tobias Schröder. Monoid-labeled transition systems |
205 | -- | 226 | Jesse Hughes. Modal Operators for Coequations |
227 | -- | 240 | Martin Hyland, John Power. Two-dimensional linear algebra |
241 | -- | 253 | Alexander Kurz. Modal Rules are Co-Implications |
254 | -- | 270 | Dragan Masulovic. Invariants of monadic coalgebras |
271 | -- | 284 | Dirk Pattinson. Modal Languages for Coalgebras in a Topological Setting |
285 | -- | 288 | Gordon D. Plotkin. Bialgebraic Semantics and Recursion (Extended Abstract) |
289 | -- | 307 | Erik Poll, Jan Zwanenburg. From Algebras and Coalgebras to Dialgebras |
308 | -- | 309 | Andrea Corradini, Marina Lenisa, Ugo Montanari. Preface |