-
Rewriting with strategies in ELAN: a functional semantics
Article soumis en 1999 et finalement paru en 2001. -
The rewriting calculus as a semantics to strategy application. Application to...
Colloque sur invitation. -
The simply typed rewriting calculus
Colloque avec actes et comité de lecture. internationale. -
The Rewriting Calculus
Rapport interne. -
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. -
Calcul de réécriture explicite
Stage de DEA. Rapport de stage.
