Higher-Order Distributions for Differential Linear Logic.

Marie Kerjean, Jean-Simon Pacaud Lemay

Browse the full FOSSACS paper archive.