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) |
|---|
Other Publications
Year : 2001
Frédéric Blanqui : Connect in order to contact the contributor
https://inria.hal.science/inria-00105525
Submitted on : Thursday, February 22, 2007-9:42:15 AM
Last modification on : Saturday, February 10, 2024-3:07:59 AM
Long-term archiving on : Tuesday, September 21, 2010-12:47:34 PM
Cite
Frédéric Blanqui. Type theory and rewriting. 2001. ⟨inria-00105525v2⟩
Collections
139
View
261
Download