Le modèle de la GA&C (Grammaire Applicative et Cognitive) (1990) étend un premier modèle général la Grammaire Applicative Universelle de S.K. Shaumyan (1965,1987) en le plongeant dans un cadre de réflexions cognitives, en y adjoignant un niveau supplémentaire de représentations sémantico-cognitives et en visant une mise en oeuvre informatique (par programmation fonctionnelle) orientée vers des applications en ingénierie linguistique (au moyen d'une stratégie par exploration contextuelle). La GA&C utilise le formalisme de la logique combinatoire typée de Curry, en composant des opérateurs linguistiques, logiques et topologiques au moyen d'opérateurs abstraits de composition, en fait des combinateurs de la logique combinatoire. Nous donnerons plusieurs exemples d'analyse grammaticale autour d'une part, des problèmes de diathèses, du traitement des aspects, de la prise en charge énonciative et d'autre part, de l'analyse sémantique des verbes et prépositions. Nous présenterons l'architecture informatique du système; l'extraction d'informations par exploration contextuelle pour la veille technologique et le résumé automatique...