@Proceedings{moss_et_al:LIPIcs.CALCO.2015,
title = {{LIPIcs, Volume 35, CALCO'15, Complete Volume}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015},
URN = {urn:nbn:de:0030-drops-55622},
doi = {10.4230/LIPIcs.CALCO.2015},
annote = {Keywords: Theory of Computation, Logics and Meanings of Programs, Semantics of Programming Languages}
}
@InProceedings{moss_et_al:LIPIcs.CALCO.2015.i,
author = {Moss, Lawrence S. and Sobocinski, Pawel},
title = {{Front Matter, Table of Contents, Preface, List of Authors}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {i--xii},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.i},
URN = {urn:nbn:de:0030-drops-55225},
doi = {10.4230/LIPIcs.CALCO.2015.i},
annote = {Keywords: Front Matter, Table of Contents, Preface, List of Authors}
}
@InProceedings{adamek_et_al:LIPIcs.CALCO.2015.1,
author = {Adamek, Jiri and Milius, Stefan and Urbat, Henning},
title = {{Syntactic Monoids in a Category}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {1--16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.1},
URN = {urn:nbn:de:0030-drops-55235},
doi = {10.4230/LIPIcs.CALCO.2015.1},
annote = {Keywords: Syntactic monoid, transition monoid, algebraic automata theory, duality, coalgebra, algebra, symmetric monoidal closed category, commutative variety}
}
@InProceedings{balan_et_al:LIPIcs.CALCO.2015.17,
author = {Balan, Adriana and Kurz, Alexander and Velebil, Jiri},
title = {{Extensions of Functors From Set to V-cat}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {17--34},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.17},
URN = {urn:nbn:de:0030-drops-55244},
doi = {10.4230/LIPIcs.CALCO.2015.17},
annote = {Keywords: enriched category, quantale, final coalgebra}
}
@InProceedings{baldan_et_al:LIPIcs.CALCO.2015.35,
author = {Baldan, Paolo and Bonchi, Filippo and Kerstan, Henning and K\"{o}nig, Barbara},
title = {{Towards Trace Metrics via Functor Lifting}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {35--49},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.35},
URN = {urn:nbn:de:0030-drops-55254},
doi = {10.4230/LIPIcs.CALCO.2015.35},
annote = {Keywords: trace metric, monad lifting, pseudometric, coalgebra}
}
@InProceedings{chen_et_al:LIPIcs.CALCO.2015.50,
author = {Chen, Liang-Ting and Urbat, Henning},
title = {{A Fibrational Approach to Automata Theory}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {50--65},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.50},
URN = {urn:nbn:de:0030-drops-55268},
doi = {10.4230/LIPIcs.CALCO.2015.50},
annote = {Keywords: Eilenberg’s variety theorem, duality, coalgebra, Grothendieck fibration}
}
@InProceedings{cirstea:LIPIcs.CALCO.2015.66,
author = {Cirstea, Corina},
title = {{Canonical Coalgebraic Linear Time Logics}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {66--85},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.66},
URN = {urn:nbn:de:0030-drops-55274},
doi = {10.4230/LIPIcs.CALCO.2015.66},
annote = {Keywords: coalgebra, linear time logic, fixpoint logic}
}
@InProceedings{eberhart_et_al:LIPIcs.CALCO.2015.86,
author = {Eberhart, Clovis and Hirschowitz, Tom and Seiller, Thomas},
title = {{An Intensionally Fully-abstract Sheaf Model for pi}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {86--100},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.86},
URN = {urn:nbn:de:0030-drops-55284},
doi = {10.4230/LIPIcs.CALCO.2015.86},
annote = {Keywords: concurrency, sheaves, causal models, games}
}
@InProceedings{fahrenberg_et_al:LIPIcs.CALCO.2015.101,
author = {Fahrenberg, Uli and Legay, Axel},
title = {{Partial Higher-dimensional Automata}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {101--115},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.101},
URN = {urn:nbn:de:0030-drops-55295},
doi = {10.4230/LIPIcs.CALCO.2015.101},
annote = {Keywords: higher-dimensional automata, bisimulation}
}
@InProceedings{jacobs:LIPIcs.CALCO.2015.116,
author = {Jacobs, Bart},
title = {{A Recipe for State-and-Effect Triangles}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {116--129},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.116},
URN = {urn:nbn:de:0030-drops-55301},
doi = {10.4230/LIPIcs.CALCO.2015.116},
annote = {Keywords: Duality, predicate transformer, state transformer, state-and-effect triangle}
}
@InProceedings{kataoka_et_al:LIPIcs.CALCO.2015.130,
author = {Kataoka, Toshiki and Pavlovic, Dusko},
title = {{Towards Concept Analysis in Categories: Limit Inferior as Algebra, Limit Superior as Coalgebra}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {130--155},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.130},
URN = {urn:nbn:de:0030-drops-55317},
doi = {10.4230/LIPIcs.CALCO.2015.130},
annote = {Keywords: concept analysis, semantic indexing, category, completion, algebra}
}
@InProceedings{katsumata_et_al:LIPIcs.CALCO.2015.156,
author = {Katsumata, Shin-ya and Sato, Tetsuya},
title = {{Codensity Liftings of Monads}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {156--170},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.156},
URN = {urn:nbn:de:0030-drops-55329},
doi = {10.4230/LIPIcs.CALCO.2015.156},
annote = {Keywords: Monads, Lifting, Fibration, Giry Monad}
}
@InProceedings{kissinger_et_al:LIPIcs.CALCO.2015.171,
author = {Kissinger, Aleks and Quick, David},
title = {{A First-order Logic for String Diagrams}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {171--189},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.171},
URN = {urn:nbn:de:0030-drops-55335},
doi = {10.4230/LIPIcs.CALCO.2015.171},
annote = {Keywords: string diagrams, compact closed monoidal categories, abstract tensor systems, first-order logic}
}
@InProceedings{klin_et_al:LIPIcs.CALCO.2015.190,
author = {Klin, Bartek and Nachyla, Beata},
title = {{Presenting Morphisms of Distributive Laws}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {190--204},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.190},
URN = {urn:nbn:de:0030-drops-55343},
doi = {10.4230/LIPIcs.CALCO.2015.190},
annote = {Keywords: coalgebra, bialgebra, distributive law, structural operational semantics}
}
@InProceedings{kurz_et_al:LIPIcs.CALCO.2015.205,
author = {Kurz, Alexander and Pardo, Alberto and Petrisan, Daniela and Severi, Paula and de Vries, Fer-Jan},
title = {{Approximation of Nested Fixpoints – A Coalgebraic View of Parametric Dataypes}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {205--220},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.205},
URN = {urn:nbn:de:0030-drops-55351},
doi = {10.4230/LIPIcs.CALCO.2015.205},
annote = {Keywords: coalgebra, Bekic lemma, infinite data, functional programming, type theory}
}
@InProceedings{levy:LIPIcs.CALCO.2015.221,
author = {Levy, Paul Blain},
title = {{Final Coalgebras from Corecursive Algebras}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {221--237},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.221},
URN = {urn:nbn:de:0030-drops-55365},
doi = {10.4230/LIPIcs.CALCO.2015.221},
annote = {Keywords: coalgebra, modal logic, bisimulation, category theory, factorization system}
}
@InProceedings{marti_et_al:LIPIcs.CALCO.2015.238,
author = {Marti, Johannes and Seifan, Fatemeh and Venema, Yde},
title = {{Uniform Interpolation for Coalgebraic Fixpoint Logic}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {238--252},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.238},
URN = {urn:nbn:de:0030-drops-55379},
doi = {10.4230/LIPIcs.CALCO.2015.238},
annote = {Keywords: mu-calculus, uniform interpolation, coalgebra, automata}
}
@InProceedings{milius_et_al:LIPIcs.CALCO.2015.253,
author = {Milius, Stefan and Pattinson, Dirk and Schr\"{o}der, Lutz},
title = {{Generic Trace Semantics and Graded Monads}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {253--269},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.253},
URN = {urn:nbn:de:0030-drops-55389},
doi = {10.4230/LIPIcs.CALCO.2015.253},
annote = {Keywords: transition systems, monads, coalgebra, trace logics}
}
@InProceedings{piedeleu_et_al:LIPIcs.CALCO.2015.270,
author = {Piedeleu, Robin and Kartsaklis, Dimitri and Coecke, Bob and Sadrzadeh, Mehrnoosh},
title = {{Open System Categorical Quantum Semantics in Natural Language Processing}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {270--289},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.270},
URN = {urn:nbn:de:0030-drops-55398},
doi = {10.4230/LIPIcs.CALCO.2015.270},
annote = {Keywords: category theory, density matrices, distributional models, semantics}
}
@InProceedings{pirog_et_al:LIPIcs.CALCO.2015.290,
author = {Pirog, Maciej and Wu, Nicolas and Gibbons, Jeremy},
title = {{Modules Over Monads and Their Algebras}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {290--303},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.290},
URN = {urn:nbn:de:0030-drops-55404},
doi = {10.4230/LIPIcs.CALCO.2015.290},
annote = {Keywords: monad, module over monad, algebraic data types, resumptions, free object}
}
@InProceedings{tutu_et_al:LIPIcs.CALCO.2015.304,
author = {Tutu, Ionut and Fiadeiro, Jos\'{e} Luiz},
title = {{Revisiting the Institutional Approach to Herbrand’s Theorem}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {304--319},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.304},
URN = {urn:nbn:de:0030-drops-55419},
doi = {10.4230/LIPIcs.CALCO.2015.304},
annote = {Keywords: Institution theory, Substitution systems, Herbrand’s theorem}
}
@InProceedings{urabe_et_al:LIPIcs.CALCO.2015.320,
author = {Urabe, Natsuki and Hasuo, Ichiro},
title = {{Coalgebraic Infinite Traces and Kleisli Simulations}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {320--335},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.320},
URN = {urn:nbn:de:0030-drops-55424},
doi = {10.4230/LIPIcs.CALCO.2015.320},
annote = {Keywords: category theory, coalgebra, simulation, verification, trace semantics}
}
@InProceedings{milius_et_al:LIPIcs.CALCO.2015.336,
author = {Milius, Stefan and Wi{\ss}mann, Thorsten},
title = {{Finitary Corecursion for the Infinitary Lambda Calculus}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {336--351},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Moss, Lawrence S. and Sobocinski, Pawel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.336},
URN = {urn:nbn:de:0030-drops-55436},
doi = {10.4230/LIPIcs.CALCO.2015.336},
annote = {Keywords: rational trees, infinitary lambda calculus, coinduction}
}
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
Feedback for Dagstuhl Publishing