Type theory and rewriting
Résumé
We study the properties, in particular termination, of dependent types systems for lambda calculus and rewriting.
Origine : Fichiers produits par l'(les) auteur(s)