Abstract is missing.
- From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-referenceSamson Abramsky, Jonathan A. Zvesper. 1-19 [doi]
- Defining Context-Free Power Series CoalgebraicallyMarcello M. Bonsangue, Jan J. M. M. Rutten, Joost Winter. 20-39 [doi]
- Relational Presheaves as Labelled Transition SystemsPawel Sobocinski. 40-50 [doi]
- On Finitary Functors and Their PresentationsJirí Adámek, Stefan Milius, Lawrence S. Moss. 51-70 [doi]
- Structural Operational Semantics for Continuous State Probabilistic ProcessesGiorgio Bacci, Marino Miculan. 71-89 [doi]
- Stream Automata Are CoalgebrasVincenzo Ciancia, Yde Venema. 90-108 [doi]
- Trace Semantics via DeterminizationBart Jacobs, Alexandra Silva, Ana Sokolova. 109-129 [doi]
- An Alpha-Corecursion Principle for the Infinitary Lambda CalculusAlexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries. 130-149 [doi]
- Lax Extensions of Coalgebra FunctorsJohannes Marti, Yde Venema. 150-169 [doi]
- From Transitions to ExecutionsEleftherios Matsikoudis, Edward A. Lee. 170-190 [doi]
- Tracing the Man in the Middle in Monoidal CategoriesDusko Pavlovic. 191-217 [doi]
- Permutations in Coinductive Graph RepresentationCelia Picard, Ralph Matthes. 218-237 [doi]
- Internal Models for Coalgebraic Modal LogicsToby Wilkinson. 238-258 [doi]