these-duchesne

Universite de la Mediterranee, Aix-Marseille 2U.F.R. de MathematiquesTHESEpour obtenir le grade deDOCTEUR DE L’UNIVERSITE AIX-MARSEILLE 2Specialite : Mathematiquespresentee et soutenue publiquement parEtienne Duchesnele 26 octobre 2009Titre :La Localisation en Logique :Geometrie de l’Interaction et SemantiqueDenotationnelleDirecteur de these : Laurent RegnierRapporteurs : Martin HylandPhilip ScottJury : Patrick BaillotJean-Yves GirardMartin HylandSimone MartiniLaurent RegnierKazushige Terui2RemerciementsMerci a Laurent Regnier pour l’attention qu’il m’a portee durant cette these. Je lui suistres reconnaissant pour la patience et la bienveillance dont il a fait preuve, ainsi que pour lagenerosite avec laquelle il partage ses connaissances.Merci a Martin Hyland et a Phil Scott d’avoir accepte de rapporter cette these dans un delaiparticulierement court.Merci a Patrick Baillot, Jean-Yves Girard, Martin Hyland, Simone Martini et KazushigeTerui d’avoir accepte de faire partie du jury. La presence de chacun d’entre eux est un reelhonneur.Au cours de visites regulieres a Paris ou a Lyon, Thomas Ehrhard et Olivier Laurent ont tou-jours repondu a mes sollicitations. Je les remercie pour leur disponibilite et pour les discussionsenrichissantes que j’ai pu avoir avec eux.Merci a tous les membres de l’equipe de logique et plus generalement de l’IML pour leuraccueil chaleureux. Merci aux autres ...