SPECIAL ISSUE:
Selected papers of the conference "Algebraic and Coalgebraic Methods in Computer Science: CALCO 2011"
Winchester, United Kingdom, 2011



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



DOI: 10.2168/LMCS-CALCO:2011

Creative Commons