Accéder directement au contenu
NT

Nicolas Tabareau

1
Documents

Présentation

Publications

865456
Image document

An explicit formula for the free exponential modality of linear logic

Paul-André Melliès , Nicolas Tabareau , Christine Tasson
ICALP 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