| 2021 | Church's Semigroup Is Sq-Universal. | Rick Statman |
| 2021 | The Expressive Power of One Variable Used Once: The Chomsky Hierarchy and First-Order Monadic Constructor Rewriting. | Jakob Grue Simonsen |
| 2021 | Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions. | Kenji Saotome, Koji Nakazawa, Daisuke Kimura |
| 2021 | Output Without Delay: A π-Calculus Compatible with Categorical Semantics. | Ken Sakayori, Takeshi Tsukada |
| 2021 | What's Decidable About (Atomic) Polymorphism? | Paolo Pistone, Luca Tranchini |
| 2021 | Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk). | Elaine Pimentel, Carlos Olarte, Vivek Nigam |
| 2021 | Non-Deterministic Functions as Non-Deterministic Processes. | Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Prez |
| 2021 | Z; Syntax-Free Developments. | Vincent van Oostrom |
| 2021 | Recursion and Sequentiality in Categories of Sheaves. | Cristina Matache, Sean K. Moss, Sam Staton |
| 2021 | Synthetic Undecidability of MSELL via FRACTRAN Mechanised in Coq. | Dominique Larchey-Wendling |
| 2021 | Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs. | Ugo Dal Lago, Francesco Gavazzo |
| 2021 | Tuple Interpretations for Higher-Order Complexity. | Cynthia Kop, Deivid Vale |
| 2021 | Call-By-Value, Again! | Axel Kerinec, Giulio Manzonetto, Simona Ronchi Della Rocca |
| 2021 | A Modular Associative Commutative (AC) Congruence Closure Algorithm. | Deepak Kapur |
| 2021 | Predicative Aspects of Order Theory in Univalent Foundations. | Tom de Jong, Martn Htzel Escard |
| 2021 | Polymorphic Automorphisms and the Picard Group. | Pieter J. W. Hofstra, Jason Parker, Philip J. Scott |
| 2021 | Completion and Reduction Orders (Invited Talk). | Nao Hirokawa |
| 2021 | Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity. | Didier Galmiche, Marta Gawek, Daniel Mry |
| 2021 | A Bicategorical Model for Finite Nondeterminism. | Zeinab Galal |
| 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 | Coalgebra Encoding for Efficient Minimization. | Hans-Peter Deifel, Stefan Milius, Thorsten Wimann |
| 2021 | A Functional Abstraction of Typed Invocation Contexts. | Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai |
| 2021 | Positional Injectivity for Innocent Strategies. | Lison Blondeau-Patissier, Pierre Clairambault |
| 2021 | Some Axioms for Mathematics. | Frdric Blanqui, Gilles Dowek, milie Grienenberger, Gabriel Hondet, Franois Thir |