| 2023 | 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, Rome, Italy, July 3-6, 2023 Marco Gaboardi, Femke van Raamsdonk |
| 2023 | A Lambda Calculus Satellite (Invited Talk). Giulio Manzonetto |
| 2023 | A Quantitative Version of Simple Types. Daniele Pautasso, Simona Ronchi Della Rocca |
| 2023 | Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures. Théo Losekoot, Thomas Genet, Thomas P. Jensen |
| 2023 | Categorical Coherence from Term Rewriting Systems. Samuel Mimram |
| 2023 | Combinatory Logic and Lambda Calculus Are Equal, Algebraically. Thorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tamás Végh |
| 2023 | Concurrent Realizability on Conjunctive Structures. Emmanuel Beffara, Félix Castro, Mauricio Guillermo, Étienne Miquey |
| 2023 | Convolution Products on Double Categories and Categorification of Rule Algebras. Nicolas Behr, Paul-André Melliès, Noam Zeilberger |
| 2023 | Cost-Size Semantics for Call-By-Value Higher-Order Rewriting. Cynthia Kop, Deivid Vale |
| 2023 | Cyclic Proofs for Arithmetical Inductive Definitions. Anupam Das, Lukas Melgaard |
| 2023 | Diller-Nahm Bar Recursion. Valentin Blot |
| 2023 | Dinaturality Meets Genericity: A Game Semantics of Bounded Polymorphism. James Laird |
| 2023 | E-Unification for Second-Order Abstract Syntax. Nikolai Kudasov |
| 2023 | For the Metatheory of Type Theory, Internal Sconing Is Enough. Rafaël Bocquet, Ambrus Kaposi, Christian Sattler |
| 2023 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2023 | Generalized Newman's Lemma for Discrete and Continuous Systems. Ievgen Ivanov |
| 2023 | Homotopy Type Theory as Internal Languages of Diagrams of ∞-Logoses. Taichi Uemura |
| 2023 | How Can We Make Trustworthy AI? (Invited Talk). Mateja Jamnik |
| 2023 | Hydra Battles and AC Termination. Nao Hirokawa, Aart Middeldorp |
| 2023 | Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories. Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
| 2023 | Labelled Tableaux for Linear Time Bunched Implication Logic. Didier Galmiche, Daniel Méry |
| 2023 | Nominal Techniques for Software Specification and Verification (Invited Talk). Maribel Fernández |
| 2023 | On the Lattice of Program Metrics. Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone |
| 2023 | Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach. Serenella Cerrito, Valentin Goranko, Sophie Paillocher |
| 2023 | Quotients and Extensionality in Relational Doctrines. Francesco Dagnino, Fabio Pasquali |
| 2023 | Representing Guardedness in Call-By-Value. Sergey Goncharov |
| 2023 | Rewriting Modulo Traced Comonoid Structure. Dan R. Ghica, George Kaye |
| 2023 | Strategies as Resource Terms, and Their Categorical Semantics. Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair |
| 2023 | Termination of Term Rewriting: Foundation, Formalization, Implementation, and Competition (Invited Talk). Akihisa Yamada |
| 2023 | The Formal Theory of Monads, Univalently. Niels van der Weide |
| 2023 | The Logical Essence of Compiling with Continuations. José Espírito Santo, Filipa Mendes |
| 2023 | The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic. Thomas Ehrhard, Claudia Faggian, Michele Pagani |
| 2023 | Two Decreasing Measures for Simply Typed λ-Terms. Pablo Barenbaum, Cristian Sottile |
| 2023 | Type Isomorphisms for Multiplicative-Additive Linear Logic. Rémi Di Guardia, Olivier Laurent |
| 2023 | Unifying Graded Linear Logic and Differential Operators. Flavien Breuvart, Marie Kerjean, Simon Mirwasser |
| 2023 | α-Avoidance. Samuel Frontull, Georg Moser, Vincent van Oostrom |