Paul-André Melliès, Nicolas Tabareau, Christine Tasson. An explicit formula for the free exponential modality of linear logic.
36th International Colloquium on Automata, Languages and Programming, Jul 2009, Rhodes, Greece. Springer, 5556/2009, pp.247-260, 2009, Lecture Notes in Computer Science.
〈10.1007/978-3-642-02930-1〉.
〈hal-00391714v2〉