Théorie des types et réécriture
Nous étudions les propriétés, en particulier la terminaison, des systèmes de types dépendants pour le lambda-calcul et la réécriture.
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Paris Sud - Paris XI
2001
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00105522 http://tel.archives-ouvertes.fr/docs/00/10/55/22/PDF/main.pdf |