Présente les théories qui se sont développées depuis une dizaine d'années dans la lignée du courant générativiste : la grammaire lexicale fonctionnelle (LFG), les grammaires syntagmatiques (GPSG, HPSG) et la grammaire d'arbres adjoints (TAG). Elles ont en commun une base mathématique substantielle qui comprend l'opération logique d'unification.