| 2024 | 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, Tallinn, Estonia, July 10-13, 2024 Jakob Rehof |
| 2024 | A Categorical Approach to DIBI Models. Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi |
| 2024 | A Linear Type System for L^p-Metric Sensitivity Analysis. Victor Sannier, Patrick Baillot |
| 2024 | A Verified Algorithm for Deciding Pattern Completeness. René Thiemann, Akihisa Yamada |
| 2024 | Abstraction-Based Decision Making for Statistical Properties (Invited Talk). Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik |
| 2024 | Adjoint Natural Deduction. Junyoung Jang, Sophia Roshal, Frank Pfenning, Brigitte Pientka |
| 2024 | Automating Boundary Filling in Cubical Agda. Maximilian Doré, Evan Cavallo, Anders Mörtberg |
| 2024 | Böhm and Taylor for All! Aloÿs Dufour, Damiano Mazza |
| 2024 | Commutation Groups and State-Independent Contextuality. Samson Abramsky, Serban-Ion Cercelescu, Carmen Maria Constantin |
| 2024 | Delooping Generated Groups in Homotopy Type Theory. Camil Champin, Samuel Mimram, Émile Oleon |
| 2024 | Equational Theories and Validity for Logically Constrained Term Rewriting. Takahito Aoto, Naoki Nishida, Jonas Schöpf |
| 2024 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2024 | IMELL Cut Elimination with Linear Overhead. Beniamino Accattoli, Claudio Sacerdoti Coen |
| 2024 | Impredicativity, Cumulativity and Product Covariance in the Logical Framework Dedukti. Thiago Felicissimo, Théo Winterhalter |
| 2024 | Laplace Distributors and Laplace Transformations for Differential Categories. Marie Kerjean, Jean-Simon Pacaud Lemay |
| 2024 | Lean: Past, Present, and Future (Invited Talk). Sebastian Ullrich |
| 2024 | Machine-Checked Categorical Diagrammatic Reasoning. Benoît Guillemet, Assia Mahboubi, Matthieu Piquerez |
| 2024 | Meaningfulness and Genericity in a Subsuming Framework (Invited Talk). Delia Kesner, Victor Arrial, Giulio Guerrieri |
| 2024 | Mechanized Subject Expansion in Uniform Intersection Types for Perpetual Reductions. Andrej Dudenhefner, Daniele Pautasso |
| 2024 | Mirroring Call-By-Need, or Values Acting Silly. Beniamino Accattoli, Adrienne Lancelot |
| 2024 | On Iteration in Discrete Probabilistic Programming. Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi |
| 2024 | On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems. Franz Baader, Jürgen Giesl |
| 2024 | On the Logical Structure of Some Maximality and Well-Foundedness Principles Equivalent to Choice Principles. Hugo Herbelin, Jad Koleilat |
| 2024 | Optimizing a Non-Deterministic Abstract Machine with Environments. Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt |
| 2024 | Representation of Peano Arithmetic in Separation Logic. Sohei Ito, Makoto Tatsuta |
| 2024 | Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics. Ambrus Kaposi, Szumi Xie |
| 2024 | Semantics for a Turing-Complete Reversible Programming Language with Inductive Types. Kostia Chardonnet, Louis Lemonnier, Benoît Valiron |
| 2024 | Simulating Dependency Pairs by Semantic Labeling. Teppei Saito, Nao Hirokawa |
| 2024 | State Canonization and Early Pruning in Width-Based Automated Theorem Proving. Mateus de Oliveira Oliveira, Farhad Vadiee |
| 2024 | Substitution for Non-Wellfounded Syntax with Binders Through Monoidal Categories. Ralph Matthes, Kobe Wullaert, Benedikt Ahrens |
| 2024 | Termination of Generalized Term Rewriting Systems. Salvador Lucas |
| 2024 | The Flower Calculus. Pablo Donato |
| 2024 | Two-Dimensional Kripke Semantics I: Presheaves. Georgios Alexandros Kavvos |
| 2024 | Univalent Enriched Categories and the Enriched Rezk Completion. Niels van der Weide |
| 2024 | homotopy.io: A Proof Assistant for Finitely-Presented Globular n-Categories. Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary |