Accepted Papers
1.
An enriched calculus for kernels and linear operators.
2.
Stability property for the Call-by-Value lambda-calculus through Taylor expansion.
3.
Function spaces for orbit-finite sets.
4.
Injectivity of the coherent model for a fragment of connected MELL proof-nets.
5.
On expressing stateful computation in linear logic.
6.
Normalization in multiplicative exponential linear logic via Taylor expansion.
7.
The art of realizability.
8.
Interpolation in extensions of linear logic.
9.
The theory of meaningfulness in the Call-by-Value lambda-calculus.
10.
Laplace transformation and symmetry in differential linear logic.
11.
A supply of functorial models of linear logic.
12.
An axiomatic presentation of linear realizability.
13.
Categorical phase semantics for linear logic.
14.
Craig interpolation for semi-substructural logics.