Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/calco/000123,
  author       = {Robert Harper},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {Integrating Cost and Behavior in Type Theory (Invited Talk)},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {1:1--1:2},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.1},
  doi          = {10.4230/LIPICS.CALCO.2023.1},
  timestamp    = {Mon, 04 Sep 2023 17:05:19 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/000123.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/0001MS0U23,
  author       = {Sergey Goncharov and
                  Stefan Milius and
                  Lutz Schr{\"{o}}der and
                  Stelios Tsampas and
                  Henning Urbat},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {Higher-Order Mathematical Operational Semantics (Early Ideas)},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {24:1--24:3},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.24},
  doi          = {10.4230/LIPICS.CALCO.2023.24},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/0001MS0U23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/0005P23,
  author       = {Alexander Kurz and
                  Wolfgang Poiger},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {17:1--17:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.17},
  doi          = {10.4230/LIPICS.CALCO.2023.17},
  timestamp    = {Tue, 19 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/0005P23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/AdamekDV23,
  author       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Matej Dost{\'{a}}l and
                  Jir{\'{\i}} Velebil},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {Strongly Finitary Monads for Varieties of Quantitative Algebras},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {10:1--10:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.10},
  doi          = {10.4230/LIPICS.CALCO.2023.10},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/AdamekDV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/AdamekMM23,
  author       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Stefan Milius and
                  Lawrence S. Moss},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic
                  pearls)},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {21:1--21:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.21},
  doi          = {10.4230/LIPICS.CALCO.2023.21},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/AdamekMM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/BasoldR23,
  author       = {Henning Basold and
                  Tanjona Ralaivaosaona},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {Composition and Recursion for Causal Structures},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {18:1--18:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.18},
  doi          = {10.4230/LIPICS.CALCO.2023.18},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/BasoldR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/BoccaliLLL23,
  author       = {Guido Boccali and
                  Andrea Laretto and
                  Fosco Loregi{\`{a}}n and
                  Stefano Luneia},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {Completeness for Categories of Generalized Automata ((Co)algebraic
                  pearls)},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {20:1--20:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.20},
  doi          = {10.4230/LIPICS.CALCO.2023.20},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/BoccaliLLL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/Bruni23,
  author       = {Roberto Bruni},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {Local Completeness for Program Correctness and Incorrectness (Invited
                  Talk)},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {2:1--2:2},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.2},
  doi          = {10.4230/LIPICS.CALCO.2023.2},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/Bruni23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/Dubut23,
  author       = {J{\'{e}}r{\'{e}}my Dubut},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {Aczel-Mendler Bisimulations in a Regular Category},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {19:1--19:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.19},
  doi          = {10.4230/LIPICS.CALCO.2023.19},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/Dubut23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/FritzGPT23,
  author       = {Tobias Fritz and
                  Fabio Gadducci and
                  Paolo Perrone and
                  Davide Trotta},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {Weakly Markov Categories and Weakly Affine Monads},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {16:1--16:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.16},
  doi          = {10.4230/LIPICS.CALCO.2023.16},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/FritzGPT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/Grodin023,
  author       = {Harrison Grodin and
                  Robert Harper},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {Amortized Analysis via Coinduction (Early Ideas)},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {23:1--23:6},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.23},
  doi          = {10.4230/LIPICS.CALCO.2023.23},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/Grodin023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/KonigWK23,
  author       = {Harald K{\"{o}}nig and
                  Uwe Wolter and
                  Tim Kr{\"{a}}uter},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {Structural Operational Semantics for Heterogeneously Typed Coalgebras},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {7:1--7:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.7},
  doi          = {10.4230/LIPICS.CALCO.2023.7},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/KonigWK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/Liittschwager0C23,
  author       = {Nathan Liittschwager and
                  Stelios Tsampas and
                  Jonathan Castello and
                  Lindsey Kuper},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {CRDTs, Coalgebraically (Early Ideas)},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {22:1--22:5},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.22},
  doi          = {10.4230/LIPICS.CALCO.2023.22},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/Liittschwager0C23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/Mahboubi23,
  author       = {Assia Mahboubi},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {Machine-Checked Computational Mathematics (Invited Talk)},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {5:1--5:1},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.5},
  doi          = {10.4230/LIPICS.CALCO.2023.5},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/Mahboubi23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/MilosavljevicPZ23,
  author       = {Aleksandar Milosavljevic and
                  Robin Piedeleu and
                  Fabio Zanasi},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {String Diagram Rewriting Modulo Commutative (Co)Monoid Structure},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {9:1--9:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.9},
  doi          = {10.4230/LIPICS.CALCO.2023.9},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/MilosavljevicPZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/NorthP23,
  author       = {Paige Randall North and
                  Maximilien P{\'{e}}roux},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {Coinductive Control of Inductive Data Types},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {15:1--15:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.15},
  doi          = {10.4230/LIPICS.CALCO.2023.15},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/NorthP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/PimentelP23,
  author       = {Elaine Pimentel and
                  Luiz Carlos Pereira},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {A Tour on Ecumenical Systems (Invited Talk)},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {3:1--3:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.3},
  doi          = {10.4230/LIPICS.CALCO.2023.3},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/PimentelP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/RotW23,
  author       = {Jurriaan Rot and
                  Thorsten Wi{\ss}mann},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {Bisimilar States in Uncertain Structures},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {12:1--12:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.12},
  doi          = {10.4230/LIPICS.CALCO.2023.12},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/RotW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/SchmidNM23,
  author       = {Todd Schmid and
                  Victoria Noquez and
                  Lawrence S. Moss},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {Fractals from Regular Behaviours},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {14:1--14:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.14},
  doi          = {10.4230/LIPICS.CALCO.2023.14},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/SchmidNM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/Siek23,
  author       = {Jeremy G. Siek},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {The Metatheory of Gradual Typing: State of the Art and Challenges
                  (Invited Talk)},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {4:1--4:1},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.4},
  doi          = {10.4230/LIPICS.CALCO.2023.4},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/Siek23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/SteinS23,
  author       = {Dario Stein and
                  Richard Samuelson},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {A Category for Unifying Gaussian Probability and Nondeterminism},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {13:1--13:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.13},
  doi          = {10.4230/LIPICS.CALCO.2023.13},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/SteinS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/Tarlecki23,
  author       = {Andrzej Tarlecki},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {Interpolation Is (Not Always) Easy to Spoil},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {8:1--8:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.8},
  doi          = {10.4230/LIPICS.CALCO.2023.8},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/Tarlecki23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/TurkenburgBKR23,
  author       = {Ruben Turkenburg and
                  Harsh Beohar and
                  Clemens Kupke and
                  Jurriaan Rot},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {Forward and Backward Steps in a Fibration},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {6:1--6:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.6},
  doi          = {10.4230/LIPICS.CALCO.2023.6},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/TurkenburgBKR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/X23,
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {Front Matter, Table of Contents, Preface, Conference Organization},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {0:1--0:10},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.0},
  doi          = {10.4230/LIPICS.CALCO.2023.0},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/X23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/Zetzsche0S23,
  author       = {Stefan Zetzsche and
                  Alexandra Silva and
                  Matteo Sammartino},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {Generators and Bases for Monadic Closures},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {11:1--11:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.11},
  doi          = {10.4230/LIPICS.CALCO.2023.11},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/Zetzsche0S23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/calco/2023,
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://www.dagstuhl.de/dagpub/978-3-95977-287-7},
  isbn         = {978-3-95977-287-7},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.