Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Etienne Duchesne

est l'auteur d'une thèse

Boole, Algèbre de Géométrie Géométrie de l'interaction Logique Logique linéaire Logique linéaire indexée Sémantique dénotationnelle Théorie de la démonstration

Fullscreen

Boole, Algèbre de Géométrie Géométrie de l'interaction Logique Logique linéaire Logique linéaire indexée Sémantique dénotationnelle Théorie de la démonstration

Etienne Duchesne a rédigé la thèse suivante :

La localisation en logique : géométrie de l'interaction et sémantique dénotationnelle

par Etienne Duchesne sous la direction de Laurent Régnier - Aix-Marseille 2

Mathématiques

Soutenue en 2009

Thèse soutenue