Etude des théories équationelles et des propriétés algébriques des modèles stables du Lambda-calcul

par Xavier Gouy

Thèse de doctorat en Mathématiques. Logique et fondements de l'informatique

Sous la direction de Chantal Berline.

Soutenue en 1995

à Paris 7 .


  • Résumé

    Ce travail est principalement consacre a l'etude des modeles stables du lambda-calcul pur. Il vise a situer cette classe de modeles par rapport a celle des modeles continus, de facon a mettre en evidence les ameliorations que la stabilite apporte a la modelisation du lambda-calcul pur. Pour ce faire, nous avons etudie les modeles du double point de vue de leur theorie equationnelle et de leurs proprietes algebriques. Nous presentons d'abord une classe abstraite de semantiques (les categories cartesiennes closes regulieres), qui contient les semantiques continue, stable et fortement stable, et nous montrons que dans ce cadre, tout modele analogue au modele de scott a la meme theorie equationnelle que ce dernier. Nous montrons qu'en revanche le modele de park et son analogue stable ont des theories differentes. Nous montrons ensuite que la classe des modeles stables est incomplete. Enfin, nous montrons que tout di-domaine reflexif contient un di-domaine de retractions universelles


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (89 p.)
  • Annexes : Bibliogr. (p. 87-89)

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 : TS1995
  • 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 02615
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.