@article{MelliesTabareauTasson18,
Author = {Paul-Andr{\'e} Melli{\`{e}}s and Nicolas Tabareau and Christine Tasson},
Journal = {Mathematical Structures in Computer Science},
Number = {7},
Pages = {1253-1286},
Title = {An explicit formula for the exponential modality of linear logic},
Volume = {28},
Year = {2018}}