1 paper
R. F. Blute, J. R. B. Cockett, J-S. Pacaud Lemay +1
Differential categories were introduced to provide a minimal categorical doctrine for differential linear logic. Here we revisit the formalism and, in particular, examine the two d…