"Differential Linear Logic and Polarization."

Lionel Vaux (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics