Type theory and rewriting
Théorie des types et réécriture
Résumé
We study the properties, in particular termination, of dependent types systems for lambda-calculus and rewriting.
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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...