Une étude des sommes fortes : isomorphismes et formes normales
Le but de cette thèse est d'étudier la somme et le zéro dans deux principaux cadres : les isomorphismes de types et la normalisation de lambda-termes. Les isomorphismes de type avaient déjà été étudiés dans le cadre du lambda-calcul simplement typé avec paires surjectives mais sans somme. Pour...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Paris-Diderot - Paris VII
2002
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00007880 http://tel.archives-ouvertes.fr/docs/00/04/75/03/PDF/tel-00007880.pdf |