Sciweavers

ICALP
2009
Springer

An Explicit Formula for the Free Exponential Modality of Linear Logic

14 years 11 months ago
An Explicit Formula for the Free Exponential Modality of Linear Logic
Christine Tasson, Nicolas Tabareau, Paul-Andr&eacu
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2009
Where ICALP
Authors Christine Tasson, Nicolas Tabareau, Paul-André Melliès
Comments (0)