Pierre Boudes

Articles les plus récents

Projecting games on hypercoherences

7 avril 2005

ICALP 2004

Cette thèse porte sur les propriétés mathématiques du Calcul et, plus particulièrement, sur le déterminisme et la séquentialité. Dans une perspective issue de la théorie de la démonstration, elle porte aussi sur l’accès aux ressources, avec l’étude des exponentielles de la Logique Linéaire, ainsi que sur l’interactivité interne du Calcul, dont la Ludique de J.-Y. Girard tire par ailleurs parti.
Notre point de vue est celui de la sémantique dénotationnelle : nous modélisons le Calcul en interprétant ses (...)

Non uniform hypercoherences

6 avril 2005

CTCS 2002

Accueil

21 April 2004, by Pierre

Welcome on my professional home page. My name is Pierre Boudes. Holding a phD in maths since 2002, I am maître de conférences in computer science at Paris 13 university, since september 2005.
More precisely, I am : Researcher in proof theory and theory of programming at the computer science lab of Paris nord university (Laboratoire d’informatique de Paris nord, LIPN), UMR CNRS 7030. Teacher (and sometimes a kind of administrative) at the institut Galilée.
I usually reply within one day to (...)

Ventilo pour ibook (retrouvé)

21 avril 2002, par Pierre