Dans cette étude, nous développons une approche formelle de quelques problèmes de linguistique. Les questions que nous considérons se rattachent plus spécialement à la théorie des dépendances et à celle des niveaux de représentation, ainsi qu''à la relation entre ces théories: une théorie formelle des cas, les subordonnées infinitives en français et en anglais, la théorie des constructions relatives. Nous avons choisi ces domaines particuliers, parmi d''autres, parce qu’ils permettent d''illustrer certaines préoccupations théoriques communes des linguistes et des informaticiens.