Complétion de systèmes de réécriture types dont les fonctions sont polymorphes

par Sylviane Launay

Thèse de doctorat en Informatique

Sous la direction de Pierre-Louis Curien.

Soutenue en 1985

à Paris 7 .


  • Résumé

    Implantation sur le système Knuth-Bendix développe en Lisp d'une version permettant le traitement des systèmes de réécriture typés dans le cas ou les fonctions de la signature sont polymorphes. . .

  • Titre traduit

    Completion of rewritting type systems whose functions are polymorphons


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 Vol. (95 f.)
  • Annexes : Bibliogr. f. 92-94

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Consultable sur place dans l'établissement demandeur
  • Cote : F7 (1985) 006
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PAR7 F7 1985
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.