LIPIcs, Volume 35, CALCO 2015

• Lawrence S. Moss and Pawel Sobocinski LIPIcs, Volume 35, CALCO'15, Complete Volume 10.4230/LIPIcs.CALCO.2015
• Lawrence S. Moss and Pawel Sobocinski Front Matter, Table of Contents, Preface, List of Authors 10.4230/LIPIcs.CALCO.2015.i
• Jiri Adamek, Stefan Milius, and Henning Urbat Syntactic Monoids in a Category 10.4230/LIPIcs.CALCO.2015.1
• Adriana Balan, Alexander Kurz, and Jiri Velebil Extensions of Functors From Set to V-cat 10.4230/LIPIcs.CALCO.2015.17
• Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König Towards Trace Metrics via Functor Lifting 10.4230/LIPIcs.CALCO.2015.35
• Liang-Ting Chen and Henning Urbat A Fibrational Approach to Automata Theory 10.4230/LIPIcs.CALCO.2015.50
• Corina Cirstea Canonical Coalgebraic Linear Time Logics 10.4230/LIPIcs.CALCO.2015.66
• Clovis Eberhart, Tom Hirschowitz, and Thomas Seiller An Intensionally Fully-abstract Sheaf Model for pi 10.4230/LIPIcs.CALCO.2015.86
• Uli Fahrenberg and Axel Legay Partial Higher-dimensional Automata 10.4230/LIPIcs.CALCO.2015.101
• Bart Jacobs A Recipe for State-and-Effect Triangles 10.4230/LIPIcs.CALCO.2015.116
• Toshiki Kataoka and Dusko Pavlovic Towards Concept Analysis in Categories: Limit Inferior as Algebra, Limit Superior as Coalgebra 10.4230/LIPIcs.CALCO.2015.130
• Shin-ya Katsumata and Tetsuya Sato Codensity Liftings of Monads 10.4230/LIPIcs.CALCO.2015.156
• Aleks Kissinger and David Quick A First-order Logic for String Diagrams 10.4230/LIPIcs.CALCO.2015.171
• Bartek Klin and Beata Nachyla Presenting Morphisms of Distributive Laws 10.4230/LIPIcs.CALCO.2015.190
• Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, and Fer-Jan de Vries Approximation of Nested Fixpoints – A Coalgebraic View of Parametric Dataypes 10.4230/LIPIcs.CALCO.2015.205
• Paul Blain Levy Final Coalgebras from Corecursive Algebras 10.4230/LIPIcs.CALCO.2015.221
• Johannes Marti, Fatemeh Seifan, and Yde Venema Uniform Interpolation for Coalgebraic Fixpoint Logic 10.4230/LIPIcs.CALCO.2015.238
• Stefan Milius, Dirk Pattinson, and Lutz Schröder Generic Trace Semantics and Graded Monads 10.4230/LIPIcs.CALCO.2015.253
• Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke, and Mehrnoosh Sadrzadeh Open System Categorical Quantum Semantics in Natural Language Processing 10.4230/LIPIcs.CALCO.2015.270
• Maciej Pirog, Nicolas Wu, and Jeremy Gibbons Modules Over Monads and Their Algebras 10.4230/LIPIcs.CALCO.2015.290
• Ionut Tutu and José Luiz Fiadeiro Revisiting the Institutional Approach to Herbrand’s Theorem 10.4230/LIPIcs.CALCO.2015.304
• Natsuki Urabe and Ichiro Hasuo Coalgebraic Infinite Traces and Kleisli Simulations 10.4230/LIPIcs.CALCO.2015.320
• Stefan Milius and Thorsten Wißmann Finitary Corecursion for the Infinitary Lambda Calculus 10.4230/LIPIcs.CALCO.2015.336