Type theory and rewriting
Abstract
We study the properties, in particular termination, of dependent types systems for lambda calculus and rewriting.
Origin : Files produced by the author(s)