Type theory and rewriting

Abstract : We study the properties, in particular termination, of dependent types systems for lambda calculus and rewriting.
Type de document :
Autre publication
2001
Liste complète des métadonnées

https://hal.inria.fr/inria-00105525
Contributeur : Frédéric Blanqui <>
Soumis le : jeudi 22 février 2007 - 09:42:15
Dernière modification le : mardi 24 avril 2018 - 13:51:39
Document(s) archivé(s) le : mardi 21 septembre 2010 - 12:47:34

Fichiers

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Frédéric Blanqui. Type theory and rewriting. 2001. 〈inria-00105525v2〉

Partager

Métriques

Consultations de la notice

102

Téléchargements de fichiers

105