Accéder directement au contenu
NT

Nicolas Tabareau

8
Documents

Présentation

Publications

pamellies
Image document

An explicit formula for the free exponential modality of linear logic

Paul-André Melliès , Nicolas Tabareau , Christine Tasson
36th International Colloquium on Automata, Languages and Programming, Jul 2009, Rhodes, Greece. pp.247-260, ⟨10.1007/978-3-642-02930-1⟩
Communication dans un congrès hal-00391714v2
Image document

An algebraic account of references in game semantics

Paul-André Melliès , Nicolas Tabareau
Mathematical Foundations of Programming Semantics, Apr 2009, Oxford, United Kingdom. pp.377-405
Communication dans un congrès hal-00374933v2
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