.:. Browse > List by subject > Other .:.

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

1 - 2

Typer la désérialisation sans sérialiser les types Henry G. Université Paris-Diderot - Paris VII (17/06/2011), Emmanuel Chailloux (Dir.) [tel-00624156 - version 1]

Logique et Interaction : une Étude Sémantique de la Totalité Clairambault P. Université Paris-Diderot - Paris VII (19/02/2010), Russ Harmer (Dir.) [tel-00459307 - version 1]

Programmer, calculer et raisonner avec les réseaux de la Logique Linéaire Gimenez S. Université Paris-Diderot - Paris VII (16/12/2009), Thomas Ehrhard (Dir.) [tel-00629013 - version 1]

Jeux de Réalisabilité en Arithmétique Classique. Guillermo, M. Université Paris-Diderot - Paris VII (2008-12-18), JEan-Louis Krivine (Dir.) [tel-00594974 - 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]

On Countable Completions of Quotient Ordered Semigroups Abbes S. Semigroup Forum 77, 3 (2008) 482-499 [hal-00349207 - version 1]

Juppix: a Linux Live-CD for Undergraduate Students Chroboczek J., Lebresne S. Research report (2008) 8 [hal-00696384 - version 1]

Réalisabilité Classique et protocoles réseaux Hesse P. Université Paris-Diderot - Paris VII (17/07/2008), Jean-Louis Krivine (Dir.) [tel-00293688 - version 1]

Étude d'un formalisme concurrent pour les phénomènes d'auto-organisation et la biologie moléculaire Tarissan F. Université Paris-Diderot - Paris VII (13/12/2006), Vincent Danos (Dir.) [tel-00151001 - version 1]

Typage et contrôle de la mobilité Hym S. Université Paris-Diderot - Paris VII (01/12/2006), Vincent Danos (Dir.) [tel-00140652 - version 1]

Sur la notion d'observation en sémantique Leperchey B. Université Paris-Diderot - Paris VII (09/12/2005), Antonio Bucciarelli (Dir.) [tel-00102637 - version 1]

Logique, Réalisabilité et Concurrence Beffara E. Université Paris-Diderot - Paris VII (06/12/2005), Danos Vincent (Dir.) [tel-00011205 - version 1]

Réplications distribuées pour la définition des interactions de jeux massivement multi-joueurs Bosser A.-G. Université Paris-Diderot - Paris VII (18/11/2005), Emmanuel Chailloux (Dir.) [tel-00011489 - version 1]

Topologie Algébrique Dirigée et Concurrence Haucourt E. Université Paris-Diderot - Paris VII (11/10/2005), Eric Goubault (Dir.) [tel-00172472 - version 1]

EDOS: Environment for the Development and Distribution of Open Source Software Abiteboul S., Leroy X., Vrdoljak B., Bryce C., Di Cosmo R., Dittrich K. R., Fermigier S., Milo T., Sagi A., Shtossel Y. et al OSS 2005 - The First International Conference on Open Source Systems, Italy (2005) [hal-00699644 - version 1]