Théorie des types et réécriture. F. Blanqui. Ph.D. thesis, Université Paris-Sud, 139 pages, 2001. English version. SPECIF 2001 PhD thesis award.

Erratum

See here.

Web Analytics

Statcounter

W3C Validator

Last updated on 20 September 2023. Come back to main page.