HTML Export for CALCO 2015

Copy to Clipboard Download

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

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode