Type theory and rewriting
Abstract
We study the properties, in particular termination, of dependent types systems for lambda calculus and rewriting.
Other Publications
Year : 2001
Frédéric Blanqui : Connect in order to contact the contributor
https://inria.hal.science/inria-00105525
Submitted on : Wednesday, October 11, 2006-2:33:40 PM
Last modification on : Monday, February 5, 2024-2:18:05 PM
Long-term archiving on: Tuesday, April 6, 2010-7:21:31 PM
Cite
Frédéric Blanqui. Type theory and rewriting. 2001. ⟨inria-00105525v1⟩
107
View
236
Download