La Grammaire Applicative et Cognitive (Desclés, 1990) est un modèle linguistique global qui synthétise plusieurs courants : (i) analyse non « monostratale » de la Grammaire Applicative Universelle de S.K. Shaumyan (1987) ; (ii) formalisme des types sous-jacent, d’une part, aux grammaires catégorielles et, d’autre part, au modèle « opérateur / opérande » de Z. Harris (1982) ; (iii) appel aux formalismes applicatifs de la logique combinatoire typée de H.B. Curry (1958) et du λ-calcul de A. Chur...