- 1
NT
Nicolas Tabareau
1
Documents
Présentation
Publications
- 1
- 1
|
An explicit formula for the free exponential modality of linear logicICALP 2009 : 36th International Colloquium on Automata, Languages, and Programming, Jul 2009, Rhodes, Greece. pp.247-260, ⟨10.1007/978-3-642-02930-1_21⟩
Communication dans un congrès
hal-02436316v1
|