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) |
|---|
Autre Publication
Année : 2001
Frédéric Blanqui : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00105525
Soumis le : jeudi 22 février 2007-09:42:15
Dernière modification le : samedi 10 février 2024-03:07:59
Archivage à long terme le : mardi 21 septembre 2010-12:47:34
Citer
Frédéric Blanqui. Type theory and rewriting. 2001. ⟨inria-00105525v2⟩
Collections
128
Consultations
255
Téléchargements