Search dblp for Publications

export results for "toc:db/conf/calco/calco2015.bht:"

 download as .bib file

@inproceedings{DBLP:conf/calco/AdamekMU15,
  author       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Stefan Milius and
                  Henning Urbat},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {Syntactic Monoids in a Category},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {1--16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.1},
  doi          = {10.4230/LIPICS.CALCO.2015.1},
  timestamp    = {Tue, 21 Apr 2020 10:56:16 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/AdamekMU15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BalanKV15,
  author       = {Adriana Balan and
                  Alexander Kurz and
                  Jir{\'{\i}} Velebil},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {Extensions of Functors From Set to V-cat},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {17--34},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.17},
  doi          = {10.4230/LIPICS.CALCO.2015.17},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/BalanKV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BaldanBK015,
  author       = {Paolo Baldan and
                  Filippo Bonchi and
                  Henning Kerstan and
                  Barbara K{\"{o}}nig},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {Towards Trace Metrics via Functor Lifting},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {35--49},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.35},
  doi          = {10.4230/LIPICS.CALCO.2015.35},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/BaldanBK015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/ChenU15,
  author       = {Liang{-}Ting Chen and
                  Henning Urbat},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {A Fibrational Approach to Automata Theory},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {50--65},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.50},
  doi          = {10.4230/LIPICS.CALCO.2015.50},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/ChenU15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Cirstea15,
  author       = {Corina C{\^{\i}}rstea},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {Canonical Coalgebraic Linear Time Logics},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {66--85},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.66},
  doi          = {10.4230/LIPICS.CALCO.2015.66},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/Cirstea15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/EberhartHS15,
  author       = {Clovis Eberhart and
                  Tom Hirschowitz and
                  Thomas Seiller},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {An Intensionally Fully-abstract Sheaf Model for pi},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {86--100},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.86},
  doi          = {10.4230/LIPICS.CALCO.2015.86},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/EberhartHS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/FahrenbergL15,
  author       = {Ulrich Fahrenberg and
                  Axel Legay},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {Partial Higher-dimensional Automata},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {101--115},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.101},
  doi          = {10.4230/LIPICS.CALCO.2015.101},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/FahrenbergL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Jacobs15,
  author       = {Bart Jacobs},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {A Recipe for State-and-Effect Triangles},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {116--129},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.116},
  doi          = {10.4230/LIPICS.CALCO.2015.116},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/Jacobs15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/KataokaP15,
  author       = {Toshiki Kataoka and
                  Dusko Pavlovic},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  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, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {130--155},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.130},
  doi          = {10.4230/LIPICS.CALCO.2015.130},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/KataokaP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/KatsumataS15,
  author       = {Shin{-}ya Katsumata and
                  Tetsuya Sato},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {Codensity Liftings of Monads},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {156--170},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.156},
  doi          = {10.4230/LIPICS.CALCO.2015.156},
  timestamp    = {Mon, 11 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/KatsumataS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/KissingerQ15,
  author       = {Aleks Kissinger and
                  David Quick},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {A First-order Logic for String Diagrams},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {171--189},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.171},
  doi          = {10.4230/LIPICS.CALCO.2015.171},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/KissingerQ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/KlinN15,
  author       = {Bartek Klin and
                  Beata Nachyla},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {Presenting Morphisms of Distributive Laws},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {190--204},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.190},
  doi          = {10.4230/LIPICS.CALCO.2015.190},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/KlinN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/KurzPPSV15,
  author       = {Alexander Kurz and
                  Alberto Pardo and
                  Daniela Petrisan and
                  Paula Severi and
                  Fer{-}Jan de Vries},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {Approximation of Nested Fixpoints - {A} Coalgebraic View of Parametric
                  Dataypes},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {205--220},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.205},
  doi          = {10.4230/LIPICS.CALCO.2015.205},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/KurzPPSV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Levy15,
  author       = {Paul Blain Levy},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {Final Coalgebras from Corecursive Algebras},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {221--237},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.221},
  doi          = {10.4230/LIPICS.CALCO.2015.221},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/Levy15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/MartiSV15,
  author       = {Johannes Marti and
                  Fatemeh Seifan and
                  Yde Venema},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {Uniform Interpolation for Coalgebraic Fixpoint Logic},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {238--252},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.238},
  doi          = {10.4230/LIPICS.CALCO.2015.238},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/MartiSV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/MiliusPS15,
  author       = {Stefan Milius and
                  Dirk Pattinson and
                  Lutz Schr{\"{o}}der},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {Generic Trace Semantics and Graded Monads},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {253--269},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.253},
  doi          = {10.4230/LIPICS.CALCO.2015.253},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/MiliusPS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/MiliusW15,
  author       = {Stefan Milius and
                  Thorsten Wi{\ss}mann},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {Finitary Corecursion for the Infinitary Lambda Calculus},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {336--351},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.336},
  doi          = {10.4230/LIPICS.CALCO.2015.336},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/MiliusW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/PiedeleuKCS15,
  author       = {Robin Piedeleu and
                  Dimitri Kartsaklis and
                  Bob Coecke and
                  Mehrnoosh Sadrzadeh},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {Open System Categorical Quantum Semantics in Natural Language Processing},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {270--289},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.270},
  doi          = {10.4230/LIPICS.CALCO.2015.270},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/PiedeleuKCS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/PirogWG15,
  author       = {Maciej Pir{\'{o}}g and
                  Nicolas Wu and
                  Jeremy Gibbons},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {Modules Over Monads and Their Algebras},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {290--303},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.290},
  doi          = {10.4230/LIPICS.CALCO.2015.290},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/PirogWG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/TutuF15,
  author       = {Ionut Tutu and
                  Jos{\'{e}} Luiz Fiadeiro},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {Revisiting the Institutional Approach to Herbrand's Theorem},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {304--319},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.304},
  doi          = {10.4230/LIPICS.CALCO.2015.304},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/TutuF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/UrabeH15,
  author       = {Natsuki Urabe and
                  Ichiro Hasuo},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {Coalgebraic Infinite Traces and Kleisli Simulations},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {320--335},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.320},
  doi          = {10.4230/LIPICS.CALCO.2015.320},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/UrabeH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/X15,
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {Front Matter, Table of Contents, Preface, List of Authors},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {i--xii},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.i},
  doi          = {10.4230/LIPICS.CALCO.2015.I},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/X15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/calco/2015,
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {http://www.dagstuhl.de/dagpub/978-3-939897-84-2},
  isbn         = {978-3-939897-84-2},
  timestamp    = {Tue, 21 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics