|
|
||
|---|---|---|
|
tel-00724233v2
HDR
Frédéric Blanqui. Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité Logique [math.LO]. Université Paris-Diderot - Paris VII, 2012 |
||
|
tel-00105522v1
Thèse
Frédéric Blanqui. Théorie des types et réécriture Autre [cs.OH]. Université Paris Sud - Paris XI, 2001. Français |
||
|
|
||