Substitutions explicites, logiques et normalisation

par Emmanuel Polonovski

Thèse de doctorat en Informatique

Sous la direction de Pierre-Louis Curien.

Soutenue en 2004

à Paris 7 .

  • Titre traduit

    Explicit substitutions, logic and normalization


  • Pas de résumé disponible.

Autre version

Cette thèse a donné lieu à une publication en 2005 par [CCSD] [diffusion/distribution] à Villeurbanne

Substitutions explicites, logiques et normalisation

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol., [257] p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 251-254

Où se trouve cette thèse ?