.:. Browse > List by authors > Tabareau .:.

11 documents ordered by : Date Title first author name document type Submit date

Extending Type Theory with Forcing Jaber G., Tabareau N., Sozeau M. In Proceedings of LICS'12 - LICS 2012 : Logic In Computer Science, Croatia (2012) [hal-00685150 - version 1]

Resource modalities in tensor logic melliès P.-A., Tabareau N. Annals of Pure Applied Logic 161, 5 (2010) 632-653 [hal-00339154 - version 2]

An algebraic account of references in game semantics melliès P.-A., Tabareau N. In Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009) - Mathematical Foundations of Programming Semantics, United Kingdom (2009) [hal-00374933 - version 2]

An explicit formula for the free exponential modality of linear logic melliès P.-A., Tabareau N., Tasson C. In Automata, Languages and Programming - 36th International Colloquium on Automata, Languages and Programming, Greece (2009) [hal-00391714 - version 2]

Compiling Functional Types to Relational Specifications for Low Level Imperative Code Benton N., Tabareau N. In Proceedings of the Fourth ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI '09) - Types in Language Design and Implementation, United States (2009) [hal-00341404 - version 1]

Modalités de ressource et contrôle en logique tensorielle Tabareau N. Université Paris-Diderot - Paris VII (2008-12-03), Paul-André Melliès (Dir.) [tel-00339149 - version 3]

Free models of T-algebraic theories computed as Kan extensions melliès P.-A., Tabareau N. [hal-00339331 - version 1] (17/11/2008)

Resource modalities in game semantics melliès P.-A., Tabareau N. [hal-00144510 - version 1] (2007-05-03)

Linear continuations and duality melliès P.-A., Tabareau N. [hal-00339156 - version 1] (17/11/2008)

De l'opérateur de trace dans les jeux de Conway Tabareau N. [hal-00086635 - version 1] (2006-07-19)

On timed automata with input-determined guards D'Souza D., Tabareau N. Dans Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, France (2004) [hal-00017462 - version 1]