Preface A. Corradini and B. Klin | ||
Indexed Induction and Coinduction, Fibrationally | ||
Neil Ghani, Patricia Johann and Clement Fumex | ||
Coalgebraic Characterizations of Context-Free Languages | ||
Joost Winter, Jan J.M. Rutten and Marcello M. Bonsangue | ||
Exploring the Boundaries of Monad Tensorability on Set | ||
Nathan Bowler, Sergey Goncharov, Paul Blain Levy and Lutz Schröder | ||
Bases as Coalgebras | ||
Bart Jacobs | ||
Relation lifting, with an application to the many-valued cover modality | ||
Marta Bilkova, Alexander Kurz, Daniela Petrisan and Jiri Velebil | ||
Linear usage of state | ||
Rasmus Ejlers Møgelberg and Sam Staton | ||
Corecursive Algebras, Corecursive Monads and Bloom Monads | ||
Jiří Adámek, Mahdie Haddadi and Stefan Milius | ||