1 paper
Richard Garner, Jean-Simon Pacaud Lemay
Categorical models of the exponential modality of linear logic will often, but not always, support an operation of differentiation. When they do, we speak of a monoidal differentia…