Type theory and rewriting
Théorie des types et réécriture
Abstract
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.
| Origin | Files produced by the author(s) |
|---|
Loading...