9th International Workshop on
Trends in Linear Logic and Applications

TLLA 2025

Birmingham, UK
19-20 July 2025

Accepted Papers

1. Rémi Di Guardia, Olivier Laurent. A Formalization of Multiplicative Proof-Nets in Rocq.
2. Jad Koleilat. A Tangent on Categorial Models of Differential Linear Logic.
3. Houssein Mansour, Raphaëlle Crubillé. Amplification Rate of Contextual Distances in Randomised Programming.
4. Alejandro Díaz-Caro, Malena Ivnisky, Octavio Malherbe. An Algebraic Extension of Intuitionistic Linear Logic: The LS!-Calculus and Its Categorical Model.
5. Elies Harington, Samuel Mimram. An extensional perspective on higher categorical models of linear logic.
6. Joanna Boyland, Frank Pfenning. Compiling adjoint natural deduction to the semi-axiomatic sequent calculus.
7. Raphaëlle Crubillé. De Finetti Theorems and Models of Linear Logic.
8. Valentin Maestracci. Drifter;Graphs : a dynamically-sliced model for Additives.
9. Antonio Bucciarelli, Arturo De Faveri, Giulio Manzonetto, Antonino Salibra. Exploring Semigroup-Theoretic Techniques in Lambda Calculus.
10. Matteo Acclavio, Lutz Straßburger. Intuitionistic BV.
11. Matteo Acclavio, Giulia Manara, Fabrizio Montesi. Linear logic and choreographic programming.
12. Daniel Zackon, Brigitte Pientka, Alberto Momigliano. Mechanizing linear logical relations.
13. Daniel Osorio-Valencia, Alexis Saurin. On a Proof-Relevant Interpolation Theorem for Circular Proofs in Linear Logic.
14. Guido Fiorillo, Daniel Osorio Valencia, Alexis Saurin. On Correctness, Sequentialization and Interpolation.
15. Matteo Acclavio, Giulia Manara. Proof nets for first-order MALL.
16. Giulio Guerrieri, Raffaele Di Donna. Proof-nets and the bang calculus.
17. Pierre Clairambault, Charles Grellois. Quantitativity and Fixed Points in the Infinitary Relational Semantics of Linear Logic.
18. Rémy Cerda. The lazy evaluation of the λ-calculus enjoys linear approximation, and that's all.
19. Jun Suzuki, Katsuhiko Sano. Undecidability of Linear Logic without Weakening.
20. Colin Bloomfield, Peter Jipsen, Valeria de Paiva. Very Small Dialectica Categories.