Lambda-calcul et reseaux

par Laurent Régnier

Thèse de doctorat en Mathématiques

Sous la direction de Jean-Yves Girard.

Soutenue en 1992

à Paris 7 .

    mots clés mots clés


  • Résumé

    Les liens etroits qu'entretient le lambda-calcul de church avec la logique et en particulier avec la theorie de la demonstration, en font un outil abstrait particulierement adequat a l'etude de l'execution des programmes. Le propos de la these est de developper une nouvelle theorie de l'execution des lambda-termes basee sur la notion geometrique de trace. Cette alternative a la notion habituelle de calcul, la beta-reduction, est issue des travaux de girard sur les reseaux et la geometrie de l'interaction, et a ete introduite par danos dans sa these (paris 7, 1990). Elle correspond a une decomposition de la beta-reduction en operations locales et est donc un pas important vers une definition d'une execution partagee des lambda-termes. La these est en quatre parties. Les deux premieres introduisent le lambda-calcul et les reseaux. On montre que la syntaxe des reseaux code correctement les lambda-termes, et que les reseaux sont dotes d'une bonne structure geometrique. Les deux parties suivantes developpent les bases d'une theorie des traces et de l'execution


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (98 p.)
  • Annexes : Bibliogr., 13 réf., annexes

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 : TS1992
  • 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 05001
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : REGNIER l
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.