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