Skip to Main content Skip to Navigation
Other publications

Type theory and rewriting

Abstract : We study the properties, in particular termination, of dependent types systems for lambda calculus and rewriting.
Document type :
Other publications
Complete list of metadata

https://hal.inria.fr/inria-00105525
Contributor : Frédéric Blanqui <>
Submitted on : Thursday, February 22, 2007 - 9:42:15 AM
Last modification on : Wednesday, September 16, 2020 - 4:53:39 PM
Long-term archiving on: : Tuesday, September 21, 2010 - 12:47:34 PM

Files

main.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Frédéric Blanqui. Type theory and rewriting. 2001. ⟨inria-00105525v2⟩

Share

Metrics

Record views

152

Files downloads

214