Creative Commons
| Preface A. Kurz and A. Tarlecki | ||
| Relating coalgebraic notions of bisimulation | ||
| Sam Staton | ||
| Being Van Kampen is a universal property | ||
| Pawel Sobocinski and Tobias Heindel | ||
| Semantics of Higher-Order Recursion Schemes | ||
| Jiri Adamek, Stefan Milius and Jiri Velebil | ||
| Symbolic and Asynchronous Semantics via Normalized Coalgebras | ||
| Filippo Bonchi and Ugo Montanari | ||
| Finitely generated free Heyting algebras via Birkhoff duality and coalgebra | ||
| Nick Bezhanishvili and Mai Gehrke | ||
| Conway games, algebraically and coalgebraically | ||
| Furio Honsell and Marina Lenisa | ||