Abstract is missing.
- The Formal Theory of Monads, UnivalentlyNiels van der Weide. [doi]
- Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent TheoriesSaraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen. [doi]
- Strategies as Resource Terms, and Their Categorical SemanticsLison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair. [doi]
- The Sum-Product Algorithm For Quantitative Multiplicative Linear LogicThomas Ehrhard, Claudia Faggian, Michele Pagani. [doi]
- Nominal Techniques for Software Specification and Verification (Invited Talk)Maribel Fernández. [doi]
- Categorical Coherence from Term Rewriting SystemsSamuel Mimram. [doi]
- α-AvoidanceSamuel Frontull, Georg Moser, Vincent van Oostrom. [doi]
- Concurrent Realizability on Conjunctive StructuresEmmanuel Beffara, Félix Castro, Mauricio Guillermo, Étienne Miquey. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- Two Decreasing Measures for Simply Typed λ-TermsPablo Barenbaum, Cristian Sottile. [doi]
- A Lambda Calculus Satellite (Invited Talk)Giulio Manzonetto. [doi]
- Termination of Term Rewriting: Foundation, Formalization, Implementation, and Competition (Invited Talk)Akihisa Yamada 0002. [doi]
- Homotopy Type Theory as Internal Languages of Diagrams of ∞-LogosesTaichi Uemura. [doi]
- Generalized Newman's Lemma for Discrete and Continuous SystemsIevgen Ivanov. [doi]
- Labelled Tableaux for Linear Time Bunched Implication LogicDidier Galmiche, Daniel Méry. [doi]
- Quotients and Extensionality in Relational DoctrinesFrancesco Dagnino, Fabio Pasquali. [doi]
- How Can We Make Trustworthy AI? (Invited Talk)Mateja Jamnik. [doi]
- For the Metatheory of Type Theory, Internal Sconing Is EnoughRafaël Bocquet, Ambrus Kaposi, Christian Sattler. [doi]
- The Logical Essence of Compiling with ContinuationsJosé Espírito Santo, Filipa Mendes. [doi]
- Cost-Size Semantics for Call-By-Value Higher-Order RewritingCynthia Kop, Deivid Vale. [doi]
- Hydra Battles and AC TerminationNao Hirokawa, Aart Middeldorp. [doi]
- Dinaturality Meets Genericity: A Game Semantics of Bounded PolymorphismJames Laird. [doi]
- On the Lattice of Program MetricsUgo Dal Lago, Naohiko Hoshino, Paolo Pistone. [doi]
- Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based ApproachSerenella Cerrito, Valentin Goranko, Sophie Paillocher. [doi]
- Rewriting Modulo Traced Comonoid StructureDan R. Ghica, George Kaye. [doi]
- Representing Guardedness in Call-By-ValueSergey Goncharov 0001. [doi]
- Cyclic Proofs for Arithmetical Inductive DefinitionsAnupam Das 0002, Lukas Melgaard. [doi]
- Convolution Products on Double Categories and Categorification of Rule AlgebrasNicolas Behr, Paul-André Melliès, Noam Zeilberger. [doi]
- Automata-Based Verification of Relational Properties of Functions over Algebraic Data StructuresThéo Losekoot, Thomas Genet, Thomas P. Jensen. [doi]
- Combinatory Logic and Lambda Calculus Are Equal, AlgebraicallyThorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tamás Végh. [doi]
- A Quantitative Version of Simple TypesDaniele Pautasso, Simona Ronchi Della Rocca. [doi]
- Unifying Graded Linear Logic and Differential OperatorsFlavien Breuvart, Marie Kerjean, Simon Mirwasser. [doi]
- E-Unification for Second-Order Abstract SyntaxNikolai Kudasov. [doi]
- Diller-Nahm Bar RecursionValentin Blot. [doi]
- Type Isomorphisms for Multiplicative-Additive Linear LogicRémi Di Guardia, Olivier Laurent. [doi]