6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. i-xii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
Jiri Adamek, Stefan Milius, and Henning Urbat. Syntactic Monoids in a Category. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
Adriana Balan, Alexander Kurz, and Jiri Velebil. Extensions of Functors From Set to V-cat. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 17-34, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Towards Trace Metrics via Functor Lifting. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 35-49, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
Liang-Ting Chen and Henning Urbat. A Fibrational Approach to Automata Theory. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 50-65, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
Corina Cirstea. Canonical Coalgebraic Linear Time Logics. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 66-85, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
Clovis Eberhart, Tom Hirschowitz, and Thomas Seiller. An Intensionally Fully-abstract Sheaf Model for pi. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 86-100, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
Uli Fahrenberg and Axel Legay. Partial Higher-dimensional Automata. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 101-115, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
Bart Jacobs. A Recipe for State-and-Effect Triangles. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 116-129, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
Toshiki Kataoka and Dusko Pavlovic. Towards Concept Analysis in Categories: Limit Inferior as Algebra, Limit Superior as Coalgebra. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 130-155, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
Shin-ya Katsumata and Tetsuya Sato. Codensity Liftings of Monads. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 156-170, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
Aleks Kissinger and David Quick. A First-order Logic for String Diagrams. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 171-189, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
Bartek Klin and Beata Nachyla. Presenting Morphisms of Distributive Laws. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 190-204, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, and Fer-Jan de Vries. Approximation of Nested Fixpoints – A Coalgebraic View of Parametric Dataypes. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 205-220, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
Paul Blain Levy. Final Coalgebras from Corecursive Algebras. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 221-237, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
Johannes Marti, Fatemeh Seifan, and Yde Venema. Uniform Interpolation for Coalgebraic Fixpoint Logic. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 238-252, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
Stefan Milius, Dirk Pattinson, and Lutz Schröder. Generic Trace Semantics and Graded Monads. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 253-269, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke, and Mehrnoosh Sadrzadeh. Open System Categorical Quantum Semantics in Natural Language Processing. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 270-289, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
Maciej Pirog, Nicolas Wu, and Jeremy Gibbons. Modules Over Monads and Their Algebras. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 290-303, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
Ionut Tutu and José Luiz Fiadeiro. Revisiting the Institutional Approach to Herbrand’s Theorem. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 304-319, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
Natsuki Urabe and Ichiro Hasuo. Coalgebraic Infinite Traces and Kleisli Simulations. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 320-335, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }
Stefan Milius and Thorsten Wißmann. Finitary Corecursion for the Infinitary Lambda Calculus. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 336-351, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@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.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} }