Syntaxe et semantique de la facilite en lambda-calcul

par CECILE ZYLBERAJCH

Thèse de doctorat en Mathématiques

Sous la direction de Jean-Louis Krivine.

Soutenue en 1991

à Paris 7 .

    mots clés mots clés


  • Résumé

    Un terme clos du lambda-calcul est dit facile s'il peut etre egalise sans contradiction a un terme clos arbitraire. Cette notion a ete introduite par jacopini et venturini-zilli. Il existe un lien entre ce probleme qui porte sur le lambda-calcul pur et les proprietes de certains types recursifs simples. Une etude de ces types revele certaines proprietes syntaxiques des termes qui leur sont associes. En particulier un argument syntaxique base sur une methode de jacopini et venturini-zilli permet de caracteriser des familles de termes faciles. Sous leur aspect semantique ces liens sont etablis par un critere semantique de facilite, obtenu en generalisant la construction utilisee par baeten et boerboom pour prouver semantiquement la facilite du terme non resoluble bien connu omega. En fait tous les termes satisfaisant ce critere sont simultanement egalisables sans contradiction a un meme terme clos arbitraire. Ceci conduit a la notion d'ensemble facile; un ensemble de lambda-termes est facile si tous ses elements peuvent etre simultanement egalises, sans contradiction, a un meme terme clos arbitraire; et a la construction d'un ensemble facile infini

  • Titre traduit

    Syntax and semantics of ease in lambda-calculus


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (83 p.)
  • Annexes : Bibliogr. p. 82-83, 13 réf.

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