| 2025 | Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic. | Rmi Di Guardia, Olivier Laurent, Lorenzo Tortora de Falco, Lionel Vaux Auclair |
| 2025 | An Innermost DP Framework for Constrained Higher-Order Rewriting. | Carsten Fuhs, Liye Guo, Cynthia Kop |
| 2025 | Internal Effectful Forcing in System T. | Martn Htzel Escard, Bruno da Rocha Paiva, Vincent Rahli, Ayberk Tosun |
| 2025 | Knowledge Problems vs Unification and Matching: Dichotomy Results. | Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen |
| 2025 | Mechanized Undecidability of Higher-Order Beta-Matching. | Andrej Dudenhefner |
| 2025 | Unsolvable Terms in Filter Models (Invited Talk). | Mariangiola Dezani-Ciancaglini, Paola Giannini, Furio Honsell |
| 2025 | Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs (Invited Talk). | Matthew L. Daggitt, Wen Kokke, Robert Atkey, Ekaterina Komendantskaya, Natalia Slusarz, Luca Arnaboldi |
| 2025 | Unifying Boolean and Algebraic Descriptive Complexity. | Baptiste Chanus, Damiano Mazza, Morgan Rogers |
| 2025 | Ohana Trees and Taylor Expansion for the λI-Calculus: No variable gets left behind or forgotten! | Rmy Cerda, Giulio Manzonetto, Alexis Saurin |
| 2025 | Impredicative Encodings of Inductive and Coinductive Types. | Steven Bronsveld, Herman Geuvers, Niels van der Weide |
| 2025 | Categorical Continuation Semantics for Concurrency. | Flavien Breuvart, Hugo Paquet |
| 2025 | A Zoo of Continuity Properties in Constructive Type Theory. | Martin Baillon, Yannick Forster, Assia Mahboubi, Pierre-Marie Pdrot, Matthieu Piquerez |
| 2025 | The Unification Type of an Equational Theory May Depend on the Instantiation Preorder. | Franz Baader, Oliver Fernndez Gil |
| 2025 | Combining Generalization Algorithms in Regular Collapse-Free Theories. | Mauricio Ayala-Rincn, David M. Cerna, Temur Kutsia, Christophe Ringeissen |
| 2025 | Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems. | Emma Ahrens, Jan-Christoph Kassing, Jrgen Giesl, Joost-Pieter Katoen |
| 2025 | The Cost of Skeletal Call-By-Need, Smoothly. | Beniamino Accattoli, Francesco Magliocca, Loc Peyrot, Claudio Sacerdoti Coen |
| 2025 | Substructural Parametricity. | C. B. Aberl, Karl Crary, Chris Martens, Frank Pfenning |
| 2025 | From Partial to Monadic: Combinatory Algebra with Effects. | Liron Cohen, Ariel Grunfeld, Dominik Kirst, tienne Miquey |
| 2025 | Linear Logic Using Negative Connectives. | Dale Miller |
| 2025 | Computation First: Rebuilding Constructivism with Effects (Invited Talk). | Liron Cohen |
| 2024 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2024 | Univalent Enriched Categories and the Enriched Rezk Completion. | Niels van der Weide |
| 2024 | On Iteration in Discrete Probabilistic Programming. | Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi |
| 2024 | A Verified Algorithm for Deciding Pattern Completeness. | Ren Thiemann, Akihisa Yamada |
| 2024 | A Linear Type System for L^p-Metric Sensitivity Analysis. | Victor Sannier, Patrick Baillot |