External Links

    Journal: Journal of Logic and Computation

    Volume 31, Issue 6

    1389 -- 0. Preface
    1390 -- 1428Samson Abramsky, Nihil Shah. Relating structure and power: Comonadic semantics for computational resources
    1429 -- 1481Jirí Adámek, Stefan Milius, Henning Urbat. On the behaviour of coalgebras with side effects and algebras with effectful iteration
    1482 -- 1525Jurriaan Rot, Bart Jacobs 0001, Paul Blain Levy. Steps and traces
    1526 -- 1559David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo. Fibrational bisimulations and quantitative reasoning: Extended version
    runs on