-
The Rewriting Calculus
Rapport interne. -
Bisimulations up-to: beyond first-order transition systems
International audience -
The rho cube : some results, some problems
Held in conjunction with FLOC'02. Colloque avec actes informels avec comité de lecture. internationale. -
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.
