| 2020 | 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, Paris, France (Virtual Conference), June 29 - July 6, 2020 Zena M. Ariola |
| 2020 | A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers. Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk |
| 2020 | A Fast Decision Procedure For Uniqueness of Normal Forms w.r.t. Conversion of Shallow Term Rewriting Systems. Masaomi Yamaguchi, Takahito Aoto |
| 2020 | A Gentzen-Style Monadic Translation of Gödel's System T. Chuangjie Xu |
| 2020 | A Modal Analysis of Metaprogramming, Revisited (Invited Talk). Brigitte Pientka |
| 2020 | A Probabilistic Higher-Order Fixpoint Logic. Yo Mitani, Naoki Kobayashi, Takeshi Tsukada |
| 2020 | A Profunctorial Scott Semantics. Zeinab Galal |
| 2020 | A Reflection on Continuation-Composing Style. Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski |
| 2020 | A Syntax for Mutual Inductive Families. Ambrus Kaposi, Jakob von Raumer |
| 2020 | A Type Checker for a Logical Framework with Union and Intersection Types (System Description). Claude Stolze, Luigi Liquori |
| 2020 | Adaptive Non-Linear Pattern Matching Automata. Rick Erkens, Maurice Laveaux |
| 2020 | Certifying the Weighted Path Order (Invited Talk). René Thiemann, Jonas Schöpf, Christian Sternagel, Akihisa Yamada |
| 2020 | Comprehension and Quotient Structures in the Language of 2-Categories. Paul-André Melliès, Nicolas Rolland |
| 2020 | Conditional Bisimilarity for Reactive Systems. Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lara Stoltenow |
| 2020 | Constraint Solving over Multiple Similarity Relations. Besik Dundua, Temur Kutsia, Mircea Marin, Ioana-Cleopatra Pau |
| 2020 | Data-Flow Analyses as Effects and Graded Monads. Andrej Ivaskovic, Alan Mycroft, Dominic Orchard |
| 2020 | Efficient Full Higher-Order Unification. Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin |
| 2020 | Encoding Agda Programs Using Rewriting. Guillaume Genestier |
| 2020 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2020 | Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description). Cyril Cohen, Kazuhiko Sakaguchi, Enrico Tassi |
| 2020 | Modules over Monads and Operational Semantics. André Hirschowitz, Tom Hirschowitz, Ambroise Lafont |
| 2020 | On Average-Case Hardness of Higher-Order Model Checking. Yoshiki Nakamura, Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada |
| 2020 | Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra. Paul Brunet, David J. Pym |
| 2020 | Quotients in Dependent Type Theory (Invited Talk). Andrew M. Pitts |
| 2020 | Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description). Ankush Das, Frank Pfenning |
| 2020 | Refining Constructive Hybrid Games. Rose Bohrer, André Platzer |
| 2020 | Semi-Axiomatic Sequent Calculus. Henry DeYoung, Frank Pfenning, Klaas Pruiksma |
| 2020 | Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree Grammars. Kazuyuki Asada, Naoki Kobayashi |
| 2020 | Solvability in a Probabilistic Setting (Invited Talk). Simona Ronchi Della Rocca, Ugo Dal Lago, Claudia Faggian |
| 2020 | String Diagrams for Optics. Guillaume Boisseau |
| 2020 | Strongly Normalizing Higher-Order Relational Queries. Wilmer Ricciotti, James Cheney |
| 2020 | Symbolic Execution Game Semantics. Yu-Yang Lin, Nikos Tzevelekos |
| 2020 | The Difference λ-Calculus: A Language for Difference Categories. Mario Alvarez-Picallo, C.-H. Luke Ong |
| 2020 | The New Rewriting Engine of Dedukti (System Description). Gabriel Hondet, Frédéric Blanqui |
| 2020 | Towards Constructive Hybrid Semantics. Tim Lukas Diezel, Sergey Goncharov |
| 2020 | Type Safety of Rewrite Rules in Dependent Types. Frédéric Blanqui |
| 2020 | Undecidability of Semi-Unification on a Napkin. Andrej Dudenhefner |
| 2020 | Unital Anti-Unification: Type and Algorithms. David M. Cerna, Temur Kutsia |
| 2020 | WANDA - a Higher Order Termination Tool (System Description). Cynthia Kop |