Accepted Papers
- Undecidability of Multiplicative Subexponential Logic
- A Linear/Producer/Consumer model of Classical Linear Logic
- Wave-Style Token Machines and Quantum Lambda Calculi
- The inhabitation problem for non-idempotent intersection
- Superstructural Reversible Logic
- Geometry of Resource Interaction – A Minimalist Approach
- Ludics without Designs I: Triads
- Cut Elimination in Multifocused Linear Logic
- A new point of view on the Taylor expansion of proof-nets and uniformity
- Type Classes for Lightweight Substructural Types