Abstract is missing.
- Relating Structure and Power: Comonadic Semantics for Computational Resources - Extended AbstractSamson Abramsky, Nihil Shah. 1-5 [doi]
- Coalgebraic Logics & DualityClemens Kupke. 6-12 [doi]
- Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between Inductive Definitions and Cyclic ProofsStefano Berardi, Makoto Tatsuta. 13-33 [doi]
- Undecidability of Equality for Codata TypesUlrich Berger 0001, Anton Setzer. 34-55 [doi]
- Predicate Liftings and Functor Presentations in Coalgebraic Expression LanguagesUlrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann. 56-77 [doi]
- Long-Term Values in Markov Decision Processes, (Co)AlgebraicallyFrank M. V. Feys, Helle Hvid Hansen, Lawrence S. Moss. 78-99 [doi]
- (In)finite Trace Equivalence of Probabilistic Transition SystemsAlexandre Goy 0002, Jurriaan Rot. 100-121 [doi]
- Steps and TracesBart Jacobs 0001, Paul Levy, Jurriaan Rot. 122-143 [doi]
- On Algebras with Effectful IterationStefan Milius, Jirí Adámek, Henning Urbat. 144-166 [doi]
- Monoidal Computer III: A Coalgebraic View of Computability and Complexity (Extended Abstract)Dusko Pavlovic, Muzamil Yahia. 167-189 [doi]
- Fibrational Bisimulations and Quantitative ReasoningDavid Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo. 190-213 [doi]
- Categorical Büchi and Parity Conditions via Alternating Fixed Points of FunctorsNatsuki Urabe, Ichiro Hasuo. 214-234 [doi]