CALCO 2015 June 24–26, 2015 - Nijmegen, The Netherlands

6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)



Lawrence S. Moss and Pawel Sobocinski (Eds.)
ISBN 978-3-939897-84-2, LIPICS Vol. 35 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 12 MB)
Search Publication Server


Authors
  • Adamek, Jiri
  • Balan, Adriana
  • Baldan, Paolo
  • Bonchi, Filippo
  • Chen, Liang-Ting
  • Cirstea, Corina
  • Coecke, Bob
  • de Vries, Fer-Jan
  • Eberhart, Clovis
  • Fahrenberg, Uli
  • Fiadeiro, José Luiz
  • Gibbons, Jeremy
  • Hasuo, Ichiro
  • Hirschowitz, Tom
  • Jacobs, Bart
  • König, Barbara
  • Kartsaklis, Dimitri
  • Kataoka, Toshiki
  • Katsumata, Shin-ya
  • Kerstan, Henning
  • Kissinger, Aleks
  • Klin, Bartek
  • Kurz, Alexander
  • Legay, Axel
  • Levy, Paul Blain
  • Marti, Johannes
  • Milius, Stefan
  • Moss, Lawrence S.
  • Nachyla, Beata
  • Pardo, Alberto
  • Pattinson, Dirk
  • Pavlovic, Dusko
  • Petrisan, Daniela
  • Piedeleu, Robin
  • Pirog, Maciej
  • Quick, David
  • Sadrzadeh, Mehrnoosh
  • Sato, Tetsuya
  • Schröder, Lutz
  • Seifan, Fatemeh
  • Seiller, Thomas
  • Severi, Paula
  • Sobocinski, Pawel
  • Tutu, Ionut
  • Urabe, Natsuki
  • Urbat, Henning
  • Velebil, Jiri
  • Venema, Yde
  • Wißmann, Thorsten
  • Wu, Nicolas

  •   
    Front Matter, Table of Contents, Preface, List of Authors
    Authors: Moss, Lawrence S. ; Sobocinski, Pawel

    Abstract | Document (344 KB) | BibTeX

    Syntactic Monoids in a Category
    Authors: Adamek, Jiri ; Milius, Stefan ; Urbat, Henning

    Abstract | Document (515 KB) | BibTeX

    Extensions of Functors From Set to V-cat
    Authors: Balan, Adriana ; Kurz, Alexander ; Velebil, Jiri

    Abstract | Document (630 KB) | BibTeX

    Towards Trace Metrics via Functor Lifting
    Authors: Baldan, Paolo ; Bonchi, Filippo ; Kerstan, Henning ; König, Barbara

    Abstract | Document (564 KB) | BibTeX

    A Fibrational Approach to Automata Theory
    Authors: Chen, Liang-Ting ; Urbat, Henning

    Abstract | Document (600 KB) | BibTeX

    Canonical Coalgebraic Linear Time Logics
    Authors: Cirstea, Corina

    Abstract | Document (573 KB) | BibTeX

    An Intensionally Fully-abstract Sheaf Model for pi
    Authors: Eberhart, Clovis ; Hirschowitz, Tom ; Seiller, Thomas

    Abstract | Document (585 KB) | BibTeX

    Partial Higher-dimensional Automata
    Authors: Fahrenberg, Uli ; Legay, Axel

    Abstract | Document (471 KB) | BibTeX

    A Recipe for State-and-Effect Triangles
    Authors: Jacobs, Bart

    Abstract | Document (550 KB) | BibTeX

    Towards Concept Analysis in Categories: Limit Inferior as Algebra, Limit Superior as Coalgebra
    Authors: Kataoka, Toshiki ; Pavlovic, Dusko

    Abstract | Document (2,489 KB) | BibTeX

    Codensity Liftings of Monads
    Authors: Katsumata, Shin-ya ; Sato, Tetsuya

    Abstract | Document (521 KB) | BibTeX

    A First-order Logic for String Diagrams
    Authors: Kissinger, Aleks ; Quick, David

    Abstract | Document (555 KB) | BibTeX

    Presenting Morphisms of Distributive Laws
    Authors: Klin, Bartek ; Nachyla, Beata

    Abstract | Document (500 KB) | BibTeX

    Approximation of Nested Fixpoints – A Coalgebraic View of Parametric Dataypes
    Authors: Kurz, Alexander ; Pardo, Alberto ; Petrisan, Daniela ; Severi, Paula ; de Vries, Fer-Jan

    Abstract | Document (577 KB) | BibTeX

    Final Coalgebras from Corecursive Algebras
    Authors: Levy, Paul Blain

    Abstract | Document (486 KB) | BibTeX

    Uniform Interpolation for Coalgebraic Fixpoint Logic
    Authors: Marti, Johannes ; Seifan, Fatemeh ; Venema, Yde

    Abstract | Document (538 KB) | BibTeX

    Generic Trace Semantics and Graded Monads
    Authors: Milius, Stefan ; Pattinson, Dirk ; Schröder, Lutz

    Abstract | Document (476 KB) | BibTeX

    Open System Categorical Quantum Semantics in Natural Language Processing
    Authors: Piedeleu, Robin ; Kartsaklis, Dimitri ; Coecke, Bob ; Sadrzadeh, Mehrnoosh

    Abstract | Document (576 KB) | BibTeX

    Modules Over Monads and Their Algebras
    Authors: Pirog, Maciej ; Wu, Nicolas ; Gibbons, Jeremy

    Abstract | Document (432 KB) | BibTeX

    Revisiting the Institutional Approach to Herbrand’s Theorem
    Authors: Tutu, Ionut ; Fiadeiro, José Luiz

    Abstract | Document (571 KB) | BibTeX

    Coalgebraic Infinite Traces and Kleisli Simulations
    Authors: Urabe, Natsuki ; Hasuo, Ichiro

    Abstract | Document (552 KB) | BibTeX

    Finitary Corecursion for the Infinitary Lambda Calculus
    Authors: Milius, Stefan ; Wißmann, Thorsten

    Abstract | Document (531 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI