SPECIAL ISSUE:
Selected Papers of the 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013)
Warsaw, Poland, 2013



Preface
R. Heckel and S. Milius


An Effect System for Algebraic Effects and Handlers
Andrej Bauer and Matija Pretnar


Positive Inductive-Recursive Definitions
Neil Ghani, Fredrik Nordvall Forsberg and Lorenzo Malatesta


Bialgebraic Semantics for Logic Programming
Filippo Bonchi and Fabio Zanasi


From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
Robert W. J. Furber and Bart P. F. Jacobs


Presenting Distributive Laws
Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz and Jurriaan Rot


Service-Oriented Logic Programming
Ionut Tutu and Jose Luiz Fiadeiro


Positive fragments of coalgebraic logics
Adriana Balan, Alexander Kurz and Jiří Velebil



DOI: 10.2168/LMCS-CALCO:2013

Creative Commons