Isomorphisme et equivalence equationnelle entre modeles du λ-calcul

par RAINER KERTH

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

Sous la direction de Chantal BERLINE.

Soutenue en 1995

à Paris 7 .

    mots clés mots clés


  • Résumé

    Nous examinons deux types de modeles du lambda-calcul pur, a savoir les modeles de graphes de plotkin/scott et les modeles stables de girard. Nous demontrons trois resultats concernant ces modeles: isomorphisme applicatif: nous donnons des invariants qui determinent un modele a isomorphisme applicatif pres a l'interieur d'une de ces deux classes. Dans ce contexte, nous demontrons notamment la definissabilite de l'ordre d'un domaine de scott reflexif et d'un di-domaine reflexif. Interpretation de lambda-termes non resolubles: nous introduisons la notion d'une suite critique et montrons qu'un terme non resoluble (admettant une decoration) a une interpretation non vide dans un modele seulement s'il existe une telle suite dans ce modele. Nous montrons qu'un grand nombre de termes non resolubles admettent bien une decoration et nous conjecturons que tout terme non resoluble en admet. Equivalence equationnelle: nous effectuons deux constructions d'un nombre non denombrable de modeles ayant des theories equationnelles distinctes. Dans une premiere etape, nous employons des termes non resolubles pour distinguer les modeles. Ensuite, nous affinons la construction et employons des termes resolubles. Nous montrons que les modeles construits dans la deuxieme etape ne contiennent pas de suites critiques


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (105 p.)
  • Annexes : Bibliogr. p. [98]-101 (57 REF.). 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 : 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 03245
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.