-
Aspects typés du calcul de réécriture
Stage de DEA. Rapport de stage. -
Traduction des Combinatory Reduction Systems en Rho-Calcul
Stage de DEA. Rapport de stage. -
On the complexity of higher-order matching in the linear $\lambda$-calculus
Colloque avec actes et comité de lecture. internationale.
