1 | -- | 2 | Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva. Preface |
3 | -- | 23 | Jirí Adámek, Stefan Milius, Jiri Velebil. Recursive Program Schemes and Context-Free Monads |
25 | -- | 45 | Kazuyuki Asada, Ichiro Hasuo. Categorifying Computations into Components via Arrows as Profunctors |
47 | -- | 62 | Adriana Balan, Alexander Kurz. On Coalgebras over Algebras |
63 | -- | 81 | Vincenzo Ciancia, Alexander Kurz, Ugo Montanari. Families of Symmetries as Efficient Models of Resource Binding |
83 | -- | 103 | Corina Cîrstea. Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics |
105 | -- | 123 | Michael Hauhs, Baltasar Trancón-y-Widemann. Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map |
125 | -- | 140 | Bart Jacobs. From Coalgebraic to Monoidal Traces |
141 | -- | 154 | Jiho Kim. Higher-order Algebras and Coalgebras from Parameterized Endofunctors |
155 | -- | 175 | Bartek Klin. Structural Operational Semantics and Modal Logic, Revisited |
177 | -- | 197 | Jan Komenda. Coinduction in Concurrent Timed Systems |