Accepted Papers
A braided lambda calculus
A self-dual modality for non-commutative contraction and duplication in the category of coherence spaces
Linear Additives
Proof nets and the instantiation overflow property
Differential Deep Inference
A Linear Algebra Approach to Linear
Metatheory
*-autonomous envelopes and full completeness
∂ is for Dialectica: typing differentiable
programming
Polarities in topological vector spaces
Exponentially Handsome Proof Nets
Deriving distributive laws for graded linear types
Harmony in the Light of Computational Ludics
A New Linear Time Correctness Condition for Multiplicative Linear Logic
MLL+MIX as a logic of influence and causation
Rigid Taylor Expansion and Intersection Type Distributors in the Bang
Calculus
The Graded Lambek Calculus
Grading Adjoint Logic
Super Exponentials