Type theory and rewriting
Résumé
We study the properties, in particular termination, of dependent types systems for lambda calculus and rewriting.
Autre Publication Scientifique
Année : 2001
Frédéric Blanqui : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00105525
Soumis le : mercredi 11 octobre 2006-14:33:40
Dernière modification le : lundi 5 février 2024-14:18:05
Archivage à long terme le : mardi 6 avril 2010-19:21:31
Citer
Frédéric Blanqui. Type theory and rewriting. 2001. ⟨inria-00105525v1⟩
107
Consultations
236
Téléchargements