HTML Export for CALCO 2023

Copy to Clipboard Download

<h2>LIPIcs, Volume 270, CALCO 2023</h2>
<ul>
<li>
    <span class="authors">Paolo Baldan and Valeria de Paiva</span>
    <span class="title">LIPIcs, Volume 270, CALCO 2023, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023">10.4230/LIPIcs.CALCO.2023</a>
</li>
<li>
    <span class="authors">Paolo Baldan and Valeria de Paiva</span>
    <span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.0">10.4230/LIPIcs.CALCO.2023.0</a>
</li>
<li>
    <span class="authors">Robert Harper</span>
    <span class="title">Integrating Cost and Behavior in Type Theory (Invited Talk)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.1">10.4230/LIPIcs.CALCO.2023.1</a>
</li>
<li>
    <span class="authors">Roberto Bruni</span>
    <span class="title">Local Completeness for Program Correctness and Incorrectness (Invited Talk)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.2">10.4230/LIPIcs.CALCO.2023.2</a>
</li>
<li>
    <span class="authors">Elaine Pimentel and Luiz Carlos Pereira</span>
    <span class="title">A Tour on Ecumenical Systems (Invited Talk)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.3">10.4230/LIPIcs.CALCO.2023.3</a>
</li>
<li>
    <span class="authors">Jeremy G. Siek</span>
    <span class="title">The Metatheory of Gradual Typing: State of the Art and Challenges (Invited Talk)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.4">10.4230/LIPIcs.CALCO.2023.4</a>
</li>
<li>
    <span class="authors">Assia Mahboubi</span>
    <span class="title">Machine-Checked Computational Mathematics (Invited Talk)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.5">10.4230/LIPIcs.CALCO.2023.5</a>
</li>
<li>
    <span class="authors">Ruben Turkenburg, Harsh Beohar, Clemens Kupke, and Jurriaan Rot</span>
    <span class="title">Forward and Backward Steps in a Fibration</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.6">10.4230/LIPIcs.CALCO.2023.6</a>
</li>
<li>
    <span class="authors">Harald König, Uwe Wolter, and Tim Kräuter</span>
    <span class="title">Structural Operational Semantics for Heterogeneously Typed Coalgebras</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.7">10.4230/LIPIcs.CALCO.2023.7</a>
</li>
<li>
    <span class="authors">Andrzej Tarlecki</span>
    <span class="title">Interpolation Is (Not Always) Easy to Spoil</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.8">10.4230/LIPIcs.CALCO.2023.8</a>
</li>
<li>
    <span class="authors">Aleksandar Milosavljević, Robin Piedeleu, and Fabio Zanasi</span>
    <span class="title">String Diagram Rewriting Modulo Commutative (Co)Monoid Structure</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.9">10.4230/LIPIcs.CALCO.2023.9</a>
</li>
<li>
    <span class="authors">Jiří Adámek, Matěj Dostál, and Jiří Velebil</span>
    <span class="title">Strongly Finitary Monads for Varieties of Quantitative Algebras</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.10">10.4230/LIPIcs.CALCO.2023.10</a>
</li>
<li>
    <span class="authors">Stefan Zetzsche, Alexandra Silva, and Matteo Sammartino</span>
    <span class="title">Generators and Bases for Monadic Closures</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.11">10.4230/LIPIcs.CALCO.2023.11</a>
</li>
<li>
    <span class="authors">Jurriaan Rot and Thorsten Wißmann</span>
    <span class="title">Bisimilar States in Uncertain Structures</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.12">10.4230/LIPIcs.CALCO.2023.12</a>
</li>
<li>
    <span class="authors">Dario Stein and Richard Samuelson</span>
    <span class="title">A Category for Unifying Gaussian Probability and Nondeterminism</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.13">10.4230/LIPIcs.CALCO.2023.13</a>
</li>
<li>
    <span class="authors">Todd Schmid, Victoria Noquez, and Lawrence S. Moss</span>
    <span class="title">Fractals from Regular Behaviours</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.14">10.4230/LIPIcs.CALCO.2023.14</a>
</li>
<li>
    <span class="authors">Paige Randall North and Maximilien Péroux</span>
    <span class="title">Coinductive Control of Inductive Data Types</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.15">10.4230/LIPIcs.CALCO.2023.15</a>
</li>
<li>
    <span class="authors">Tobias Fritz, Fabio Gadducci, Paolo Perrone, and Davide Trotta</span>
    <span class="title">Weakly Markov Categories and Weakly Affine Monads</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.16">10.4230/LIPIcs.CALCO.2023.16</a>
</li>
<li>
    <span class="authors">Alexander Kurz and Wolfgang Poiger</span>
    <span class="title">Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.17">10.4230/LIPIcs.CALCO.2023.17</a>
</li>
<li>
    <span class="authors">Henning Basold and Tanjona Ralaivaosaona</span>
    <span class="title">Composition and Recursion for Causal Structures</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.18">10.4230/LIPIcs.CALCO.2023.18</a>
</li>
<li>
    <span class="authors">Jérémy Dubut</span>
    <span class="title">Aczel-Mendler Bisimulations in a Regular Category</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.19">10.4230/LIPIcs.CALCO.2023.19</a>
</li>
<li>
    <span class="authors">Guido Boccali, Andrea Laretto, Fosco Loregian, and Stefano Luneia</span>
    <span class="title">Completeness for Categories of Generalized Automata ((Co)algebraic pearls)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.20">10.4230/LIPIcs.CALCO.2023.20</a>
</li>
<li>
    <span class="authors">Jiří Adámek, Stefan Milius, and Lawrence S. Moss</span>
    <span class="title">On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.21">10.4230/LIPIcs.CALCO.2023.21</a>
</li>
<li>
    <span class="authors">Nathan Liittschwager, Stelios Tsampas, Jonathan Castello, and Lindsey Kuper</span>
    <span class="title">CRDTs, Coalgebraically (Early Ideas)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.22">10.4230/LIPIcs.CALCO.2023.22</a>
</li>
<li>
    <span class="authors">Harrison Grodin and Robert Harper</span>
    <span class="title">Amortized Analysis via Coinduction (Early Ideas)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.23">10.4230/LIPIcs.CALCO.2023.23</a>
</li>
<li>
    <span class="authors">Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, and Henning Urbat</span>
    <span class="title">Higher-Order Mathematical Operational Semantics (Early Ideas)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2023.24">10.4230/LIPIcs.CALCO.2023.24</a>
</li>
</ul>

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