Abstract is missing.
- ∞-Categorical Models of Linear LogicEliès Harington, Samuel Mimram. [doi]
- Internal Effectful Forcing in System TMartín Hötzel Escardó, Bruno da Rocha Paiva, Vincent Rahli, Ayberk Tosun. [doi]
- Unifying Boolean and Algebraic Descriptive ComplexityBaptiste Chanus, Damiano Mazza, Morgan Rogers. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- On the Metric Nature of (Differential) Logical RelationsUgo Dal Lago, Naohiko Hoshino, Paolo Pistone. [doi]
- Mechanized Undecidability of Higher-Order Beta-MatchingAndrej Dudenhefner. [doi]
- Quantitative Types for the Functional Machine CalculusWillem Heijltjes. [doi]
- Coherent Tietze Transformations of 1-Polygraphs in Homotopy Type TheorySamuel Mimram, Émile Oleon. [doi]
- Combining Generalization Algorithms in Regular Collapse-Free TheoriesMauricio Ayala-Rincón, David M. Cerna, Temur Kutsia, Christophe Ringeissen. [doi]
- Higher-Dimensional Automata: Extension to Infinite TracksLuc Passemard, Amazigh Amrane, Uli Fahrenberg. [doi]
- An Innermost DP Framework for Constrained Higher-Order RewritingCarsten Fuhs, Liye Guo, Cynthia Kop. [doi]
- Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear LogicRémi Di Guardia, Olivier Laurent 0001, Lorenzo Tortora de Falco, Lionel Vaux Auclair. [doi]
- Weighted Rewriting: Semiring Semantics for Abstract Reduction SystemsEmma Ahrens, Jan-Christoph Kassing, Jürgen Giesl, Joost-Pieter Katoen. [doi]
- Substructural ParametricityC. B. Aberlé, Karl Crary, Chris Martens 0001, Frank Pfenning. [doi]
- Categorical Continuation Semantics for ConcurrencyFlavien Breuvart, Hugo Paquet. [doi]
- The Cost of Skeletal Call-By-Need, SmoothlyBeniamino Accattoli, Francesco Magliocca, Loïc Peyrot, Claudio Sacerdoti Coen. [doi]
- Grading Call-By-Push-Value, Explicitly and ImplicitlyDylan McDermott. [doi]
- Linear Logic Using Negative ConnectivesDale Miller 0001. [doi]
- Solving Guarded Domain Equations in Presheaves over Ordinals and Mechanizing ItSergei Stepanenko, Amin Timany. [doi]
- A Zoo of Continuity Properties in Constructive Type TheoryMartin Baillon, Yannick Forster 0002, Assia Mahboubi, Pierre-Marie Pédrot, Matthieu Piquerez. [doi]
- Ohana Trees and Taylor Expansion for the λI-Calculus: No variable gets left behind or forgotten!Rémy Cerda, Giulio Manzonetto, Alexis Saurin. [doi]
- The Unification Type of an Equational Theory May Depend on the Instantiation PreorderFranz Baader, Oliver Fernández Gil. [doi]
- Branch Sequentialization in Quantum PolytimeEmmanuel Hainry, Romain Péchoux, Mário Silva 0001. [doi]
- Impredicative Encodings of Inductive and Coinductive TypesSteven Bronsveld, Herman Geuvers, Niels van der Weide. [doi]
- What Does It Take to Certify a Conversion Checker?Meven Lennon-Bertrand. [doi]
- Computation First: Rebuilding Constructivism with Effects (Invited Talk)Liron Cohen 0001. [doi]
- Interpolation as Cut-Introduction: On the Computational Content of Craig-Lyndon InterpolationAlexis Saurin. [doi]
- 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 0001. [doi]
- An Expressive Trace Logic for Recursive ProgramsDilian Gurov, Reiner Hähnle. [doi]
- Completeness of the Decreasing Diagrams Method for Proving Confluence of Rewriting Systems of the Least Uncountable CardinalityIevgen Ivanov. [doi]
- Knowledge Problems vs Unification and Matching: Dichotomy ResultsSerdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen. [doi]
- Monad Translations for Higher-Order LogicThomas Traversié. [doi]
- Functorial Models of Differential Linear LogicMarie Kerjean, Valentin Maestracci, Morgan Rogers. [doi]
- Unsolvable Terms in Filter Models (Invited Talk)Mariangiola Dezani-Ciancaglini, Paola Giannini, Furio Honsell. [doi]
- From Partial to Monadic: Combinatory Algebra with EffectsLiron Cohen 0001, Ariel Grunfeld, Dominik Kirst, Étienne Miquey. [doi]