Modeles fortement stables du lambda-calcul et resultats d'incompletude

par OLIVIER BASTONERO

Thèse de doctorat en Sciences appliquées

Sous la direction de Chantal Berline.

Soutenue en 1996

à Paris 7 .

    mots clés mots clés


  • Résumé

    La semantique fortement stable donne de nouveaux modeles du lambda-calcul. Une construction d'objets reflexifs est donnee, celle-ci s'inscrit dans le cadre des hypercoherences. La classe de modeles obtenue est la classe des i-modeles fortement stables. On montre ensuite que les classes des modeles continus, stables et fortement stables sont incompletes vis a vis des lambda theories. Enfin on etablit l'incomparabilite des ensembles des theories engendrees par ces classes

  • Titre traduit

    Strongly stable models of lambda-calculus and incompleteness results


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 131 P.
  • Annexes : 72 REF.

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