Sciweavers

ICALP
2009
Springer

An Explicit Formula for the Free Exponential Modality of Linear Logic

15 years 22 days 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)