An Explicit Formula for the Free Exponential Modality of Linear Logic.

Paul-Andr Mellis, Nicolas Tabareau, Christine Tasson

Browse the full ICALP paper archive.