Thèse de doctorat en Informatique
Sous la direction de Pierre-Louis Curien.
Soutenue en 1985
à Paris 7 .
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. . .
Completion of rewritting type systems whose functions are polymorphons
Pas de résumé disponible.