Type theory and rewriting. F. Blanqui. Ph.D. thesis, University Paris-Sud, 139 pages, 2001. French version. SPECIF 2001 PhD thesis award.

Statcounter W3C Validator Last updated on 26 November 2015. Come back to main page.