- 7
- 1
NT
Nicolas Tabareau
8
Documents
Présentation
Publications
- 8
- 1
- 1
- 1
An explicit formula for the free exponential modality of linear logicMathematical Structures in Computer Science, 2018, 28 (7), pp.1253-1286. ⟨10.1017/S0960129516000426⟩
Article dans une revue
hal-01992148v1
|
|
|
Resource modalities in tensor logicAnnals of Pure and Applied Logic, 2010, 161 (5), pp.632-653. ⟨10.1016/j.apal.2009.07.018⟩
Article dans une revue
hal-00339154v2
|
|
An explicit formula for the free exponential modality of linear logic36th 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
|
|
An algebraic account of references in game semanticsMathematical Foundations of Programming Semantics, Apr 2009, Oxford, United Kingdom. pp.377-405
Communication dans un congrès
hal-00374933v2
|
|
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
|
|
Free models of T-algebraic theories computed as Kan extensions2008
Pré-publication, Document de travail
hal-00339331v1
|
|
Resource modalities in game semantics2007
Pré-publication, Document de travail
hal-00144510v1
|
|
Linear continuations and duality2007
Pré-publication, Document de travail
hal-00339156v1
|