HTML Export for CALCO 2021

Copy to Clipboard Download

<h2>LIPIcs, Volume 211, CALCO 2021</h2>
<ul>
<li>
    <span class="authors">Fabio Gadducci and Alexandra Silva</span>
    <span class="title">LIPIcs, Volume 211, CALCO 2021, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021">10.4230/LIPIcs.CALCO.2021</a>
</li>
<li>
    <span class="authors">Fabio Gadducci and Alexandra Silva</span>
    <span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.0">10.4230/LIPIcs.CALCO.2021.0</a>
</li>
<li>
    <span class="authors">Eugenia Cheng</span>
    <span class="title">Distributive Laws for Lawvere Theories (Invited Talk)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.1">10.4230/LIPIcs.CALCO.2021.1</a>
</li>
<li>
    <span class="authors">Holger Giese</span>
    <span class="title">Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems (Invited Talk)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.2">10.4230/LIPIcs.CALCO.2021.2</a>
</li>
<li>
    <span class="authors">Valeria de Paiva</span>
    <span class="title">Dialectica Comonads (Invited Talk)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.3">10.4230/LIPIcs.CALCO.2021.3</a>
</li>
<li>
    <span class="authors">Viktor Vafeiadis</span>
    <span class="title">The Challenges of Weak Persistency (Invited Talk)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.4">10.4230/LIPIcs.CALCO.2021.4</a>
</li>
<li>
    <span class="authors">Jiří Adámek, Stefan Milius, and Lawrence S. Moss</span>
    <span class="title">Initial Algebras Without Iteration ((Co)algebraic pearls)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.5">10.4230/LIPIcs.CALCO.2021.5</a>
</li>
<li>
    <span class="authors">Jiří Adámek and Jiří Rosický</span>
    <span class="title">Which Categories Are Varieties? ((Co)algebraic pearls)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.6">10.4230/LIPIcs.CALCO.2021.6</a>
</li>
<li>
    <span class="authors">Giorgio Bacci, Radu Mardare, Prakash Panangaden, and Gordon Plotkin</span>
    <span class="title">Tensor of Quantitative Equational Theories</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.7">10.4230/LIPIcs.CALCO.2021.7</a>
</li>
<li>
    <span class="authors">Jos C. M. Baeten, Cesare Carissimo, and Bas Luttik</span>
    <span class="title">Pushdown Automata and Context-Free Grammars in Bisimulation Semantics</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.8">10.4230/LIPIcs.CALCO.2021.8</a>
</li>
<li>
    <span class="authors">Filippo Bonchi, Alessandro Di Giorgio, and Fabio Zanasi</span>
    <span class="title">From Farkas&#039; Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.9">10.4230/LIPIcs.CALCO.2021.9</a>
</li>
<li>
    <span class="authors">Filippo Bonchi, Alessio Santamaria, Jens Seeber, and Paweł Sobociński</span>
    <span class="title">On Doctrines and Cartesian Bicategories</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.10">10.4230/LIPIcs.CALCO.2021.10</a>
</li>
<li>
    <span class="authors">Filippo Bonchi, Ana Sokolova, and Valeria Vignudelli</span>
    <span class="title">Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.11">10.4230/LIPIcs.CALCO.2021.11</a>
</li>
<li>
    <span class="authors">Davide Castelnovo and Marino Miculan</span>
    <span class="title">Closure Hyperdoctrines</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.12">10.4230/LIPIcs.CALCO.2021.12</a>
</li>
<li>
    <span class="authors">Fredrik Dahlqvist and Todd Schmid</span>
    <span class="title">How to Write a Coequation ((Co)algebraic pearls)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.13">10.4230/LIPIcs.CALCO.2021.13</a>
</li>
<li>
    <span class="authors">Chase Ford, Stefan Milius, and Lutz Schröder</span>
    <span class="title">Monads on Categories of Relational Structures</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.14">10.4230/LIPIcs.CALCO.2021.14</a>
</li>
<li>
    <span class="authors">Richard Garner</span>
    <span class="title">Stream Processors and Comodels</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.15">10.4230/LIPIcs.CALCO.2021.15</a>
</li>
<li>
    <span class="authors">Clemens Grabmayer</span>
    <span class="title">A Coinductive Version of Milner’s Proof System for Regular Expressions Modulo Bisimilarity</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.16">10.4230/LIPIcs.CALCO.2021.16</a>
</li>
<li>
    <span class="authors">Tao Gu and Fabio Zanasi</span>
    <span class="title">Functorial Semantics as a Unifying Perspective on Logic Programming</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.17">10.4230/LIPIcs.CALCO.2021.17</a>
</li>
<li>
    <span class="authors">Xiaodong Jia, Michael Mislove, and Vladimir Zamdzhiev</span>
    <span class="title">The Central Valuations Monad (Early Ideas)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.18">10.4230/LIPIcs.CALCO.2021.18</a>
</li>
<li>
    <span class="authors">Jean-Simon Pacaud Lemay</span>
    <span class="title">Coderelictions for Free Exponential Modalities</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.19">10.4230/LIPIcs.CALCO.2021.19</a>
</li>
<li>
    <span class="authors">Jade Master</span>
    <span class="title">The Open Algebraic Path Problem</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.20">10.4230/LIPIcs.CALCO.2021.20</a>
</li>
<li>
    <span class="authors">Koko Muroya, Takahiro Sanada, and Natsuki Urabe</span>
    <span class="title">Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.21">10.4230/LIPIcs.CALCO.2021.21</a>
</li>
<li>
    <span class="authors">Georgi Nakov and Fredrik Nordvall Forsberg</span>
    <span class="title">Quantitative Polynomial Functors (Early Ideas)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.22">10.4230/LIPIcs.CALCO.2021.22</a>
</li>
<li>
    <span class="authors">Ana Sokolova and Harald Woracek</span>
    <span class="title">Nawrotzki’s Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.23">10.4230/LIPIcs.CALCO.2021.23</a>
</li>
<li>
    <span class="authors">Thorsten Wißmann</span>
    <span class="title">Minimality Notions via Factorization Systems ((Co)algebraic pearls)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2021.24">10.4230/LIPIcs.CALCO.2021.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