Dans cette etude, nous developpons une approche formelle de quelques problemes de linguistique. Les questions que nous considerons se rattachent plus specialement a la theorie des dependances et a celle des niveaux de representation, ainsi qu'a la relation entre ces theories: une theorie formelle des cas, les subordonnees infinitives en francais et en anglais, la theorie des constructions relatives. Nous avons choisi ces domaines particuliers, parmi d'autres, parce qu'ils permettent d'illustrer certaines preoccupations theoriques communes des linguistes et des informaticiens.