Execution et programmes

par MARCO PEDICINI

Thèse de doctorat en Mathématiques

Sous la direction de Jean-Yves Girard.

Soutenue en 1999

à Paris 7 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Le sujet de cette these est l'etude des aspects operationnels du lambda calcul et de la logique lineaire a l'aide de la geometrie de l'interaction, un modele mathematique de l'execution des programmes, introduit par jean-yves girard en 1987-88. Cette these se compose de quatre chapitres distincts et independants : - chapitre 1 : logique lineaire et lambda calcul un resultat classique du lambda calcul, le lemme du bohm-out, est etendu au cas des reseaux purs. - chapitre 2 : geometrie de l'interaction et implementation. La reduction virtuelle orientee est introduite : il s'agit d'une extension de la notion de reduction virtuelle introduite par danos et regnier. Pour la reduction virtuelle orientee, une nouvelle strategie, dite de combustion, est etudiee. - chapitre 3 : geometrie de l'interaction et complexite le lien entre logique et complexite est etudie, a travers la logique lineaire elementaire (ell) : dans les modeles de l'execution de ce systeme, la complexite des executions est bornee par celle de l'elimination des coupures de ell. - chapitre 4 : geometrie de l'interaction et categories. Dans le but de comprendre la geometrie de l'interaction dans le cadre de la theorie des categories, on introduit une notion de convergence sur des categories semantiques, les categories partiellement additives introduites par manes-arbib.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (IX-100 p.)
  • Annexes : Bibliogr., 1 p. en fin de volume. Index

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1999
  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : THESE 06463
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.