"Differential Linear Logic and Polarization."

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