![](/img/cover-not-exists.png)
An explicit formula for the free exponential modality of linear logic
MELLIÈS, PAUL-ANDRÉ, TABAREAU, NICOLAS, TASSON, CHRISTINELanguage:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129516000426
Date:
April, 2017
File:
PDF, 318 KB
english, 2017