LIPIcs, Volume 195, FSCD 2021

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