some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

   Recent

   In Progress

   Archive

   Proposal

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

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