<h2>LIPIcs, Volume 195, FSCD 2021</h2>
<ul>
<li>
<span class="authors">Naoki Kobayashi</span>
<span class="title">LIPIcs, Volume 195, FSCD 2021, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021">10.4230/LIPIcs.FSCD.2021</a>
</li>
<li>
<span class="authors">Naoki Kobayashi</span>
<span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.0">10.4230/LIPIcs.FSCD.2021.0</a>
</li>
<li>
<span class="authors">Paul Downen and Zena M. Ariola</span>
<span class="title">Duality in Action (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.1">10.4230/LIPIcs.FSCD.2021.1</a>
</li>
<li>
<span class="authors">Nao Hirokawa</span>
<span class="title">Completion and Reduction Orders (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.2">10.4230/LIPIcs.FSCD.2021.2</a>
</li>
<li>
<span class="authors">Elaine Pimentel, Carlos Olarte, and Vivek Nigam</span>
<span class="title">Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.3">10.4230/LIPIcs.FSCD.2021.3</a>
</li>
<li>
<span class="authors">Sam Staton</span>
<span class="title">Some Formal Structures in Probability (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.4">10.4230/LIPIcs.FSCD.2021.4</a>
</li>
<li>
<span class="authors">Jakob Grue Simonsen</span>
<span class="title">The Expressive Power of One Variable Used Once: The Chomsky Hierarchy and First-Order Monadic Constructor Rewriting</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.5">10.4230/LIPIcs.FSCD.2021.5</a>
</li>
<li>
<span class="authors">Rick Statman</span>
<span class="title">Church’s Semigroup Is Sq-Universal</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.6">10.4230/LIPIcs.FSCD.2021.6</a>
</li>
<li>
<span class="authors">Axel Kerinec, Giulio Manzonetto, and Simona Ronchi Della Rocca</span>
<span class="title">Call-By-Value, Again!</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.7">10.4230/LIPIcs.FSCD.2021.7</a>
</li>
<li>
<span class="authors">Tom de Jong and Martín Hötzel Escardó</span>
<span class="title">Predicative Aspects of Order Theory in Univalent Foundations</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.8">10.4230/LIPIcs.FSCD.2021.8</a>
</li>
<li>
<span class="authors">Thibaut Balabonski, Antoine Lanco, and Guillaume Melquiond</span>
<span class="title">A Strong Call-By-Need Calculus</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.9">10.4230/LIPIcs.FSCD.2021.9</a>
</li>
<li>
<span class="authors">Zeinab Galal</span>
<span class="title">A Bicategorical Model for Finite Nondeterminism</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.10">10.4230/LIPIcs.FSCD.2021.10</a>
</li>
<li>
<span class="authors">Kenji Saotome, Koji Nakazawa, and Daisuke Kimura</span>
<span class="title">Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.11">10.4230/LIPIcs.FSCD.2021.11</a>
</li>
<li>
<span class="authors">Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai</span>
<span class="title">A Functional Abstraction of Typed Invocation Contexts</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.12">10.4230/LIPIcs.FSCD.2021.12</a>
</li>
<li>
<span class="authors">Didier Galmiche, Marta Gawek, and Daniel Méry</span>
<span class="title">Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.13">10.4230/LIPIcs.FSCD.2021.13</a>
</li>
<li>
<span class="authors">Anupam Das and Alex A. Rice</span>
<span class="title">New Minimal Linear Inferences in Boolean Logic Independent of Switch and Medial</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.14">10.4230/LIPIcs.FSCD.2021.14</a>
</li>
<li>
<span class="authors">Deepak Kapur</span>
<span class="title">A Modular Associative Commutative (AC) Congruence Closure Algorithm</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.15">10.4230/LIPIcs.FSCD.2021.15</a>
</li>
<li>
<span class="authors">Maika Fujii and Kenichi Asai</span>
<span class="title">Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.16">10.4230/LIPIcs.FSCD.2021.16</a>
</li>
<li>
<span class="authors">Lison Blondeau-Patissier and Pierre Clairambault</span>
<span class="title">Positional Injectivity for Innocent Strategies</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.17">10.4230/LIPIcs.FSCD.2021.17</a>
</li>
<li>
<span class="authors">Dominique Larchey-Wendling</span>
<span class="title">Synthetic Undecidability of MSELL via FRACTRAN Mechanised in Coq</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.18">10.4230/LIPIcs.FSCD.2021.18</a>
</li>
<li>
<span class="authors">Dohan Kim and Christopher Lynch</span>
<span class="title">An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.19">10.4230/LIPIcs.FSCD.2021.19</a>
</li>
<li>
<span class="authors">Frédéric Blanqui, Gilles Dowek, Émilie Grienenberger, Gabriel Hondet, and François Thiré</span>
<span class="title">Some Axioms for Mathematics</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.20">10.4230/LIPIcs.FSCD.2021.20</a>
</li>
<li>
<span class="authors">Joseph W. N. Paulus, Daniele Nantes-Sobrinho, and Jorge A. Pérez</span>
<span class="title">Non-Deterministic Functions as Non-Deterministic Processes</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.21">10.4230/LIPIcs.FSCD.2021.21</a>
</li>
<li>
<span class="authors">Niccolò Veltri</span>
<span class="title">Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.22">10.4230/LIPIcs.FSCD.2021.22</a>
</li>
<li>
<span class="authors">Ugo Dal Lago and Francesco Gavazzo</span>
<span class="title">Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.23">10.4230/LIPIcs.FSCD.2021.23</a>
</li>
<li>
<span class="authors">Vincent van Oostrom</span>
<span class="title">Z; Syntax-Free Developments</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.24">10.4230/LIPIcs.FSCD.2021.24</a>
</li>
<li>
<span class="authors">Cristina Matache, Sean Moss, and Sam Staton</span>
<span class="title">Recursion and Sequentiality in Categories of Sheaves</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.25">10.4230/LIPIcs.FSCD.2021.25</a>
</li>
<li>
<span class="authors">Pieter Hofstra, Jason Parker, and Philip J. Scott</span>
<span class="title">Polymorphic Automorphisms and the Picard Group</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.26">10.4230/LIPIcs.FSCD.2021.26</a>
</li>
<li>
<span class="authors">Paolo Pistone and Luca Tranchini</span>
<span class="title">What’s Decidable About (Atomic) Polymorphism?</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.27">10.4230/LIPIcs.FSCD.2021.27</a>
</li>
<li>
<span class="authors">Hans-Peter Deifel, Stefan Milius, and Thorsten Wißmann</span>
<span class="title">Coalgebra Encoding for Efficient Minimization</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.28">10.4230/LIPIcs.FSCD.2021.28</a>
</li>
<li>
<span class="authors">Anupam Das</span>
<span class="title">On the Logical Strength of Confluence and Normalisation for Cyclic Proofs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.29">10.4230/LIPIcs.FSCD.2021.29</a>
</li>
<li>
<span class="authors">Nathanael Arkor and Dylan McDermott</span>
<span class="title">Abstract Clones for Abstract Syntax</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.30">10.4230/LIPIcs.FSCD.2021.30</a>
</li>
<li>
<span class="authors">Cynthia Kop and Deivid Vale</span>
<span class="title">Tuple Interpretations for Higher-Order Complexity</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.31">10.4230/LIPIcs.FSCD.2021.31</a>
</li>
<li>
<span class="authors">Ken Sakayori and Takeshi Tsukada</span>
<span class="title">Output Without Delay: A π-Calculus Compatible with Categorical Semantics</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.FSCD.2021.32">10.4230/LIPIcs.FSCD.2021.32</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
Feedback for Dagstuhl Publishing