Type theory and rewriting. F. Blanqui. Ph.D. thesis, University Paris-Sud, 139 pages, 2001. Version en français. SPECIF 2001 PhD thesis award.


p41. In Lemma 33, for C to preserve sorts, we need sorts to be irreducible by →.

Statcounter W3C Validator Last updated on 8 February 2018. Come back to main page.