Habilitation à Diriger des Recherches

Grammaires Attribuées: extensions du pouvoir d'expression

confinées à la sémantique statique

extensions: circularité, ordre supérieur, conditionnelles, multi-attribuées (travaux de Farrow, Swiestra, Teitelbaum, Boyland, Attali)

grammaire n'implique pas forcément arbre

le contrôle n'est pas forcément induit par l' arbre
=> Extension Dynamique (D. Parigot et al.)