Abstract FR:

Le cadre fourni par les domaines et les fonctions continues de scott est trop riche pour interpreter des langages sequentiels tels que pcf, car il existe des fonctions continues qui ne sont pas definissables par des tels langages (un exemple typique est celui de la fonction de ou parallele). Plusieurs modeles stables et sequentiels ont ete definis (par berry, curien, kahn, plotkin entre autres) pour caracteriser les fonctions definissables par des termes de pcf, mais aucun d'entre eux n'est completement adequat (c'est a dire que tous contiennent des elements non definissables). Dans cette these on construit quelques nouveaux modeles de pcf, bases sur la notion de sequentialite, au sens de kahn-plotkin ou de berry-curien. Afin de generaliser la notion de sequentialite de kahn et plotkin a une classe de domaines plus vaste que celle des domaines concrets, on presente la notion de structure sequentielle, definie par la donnee d'un domaine et d'un ensemble de proprietes lineaires sur ce domaine. Ce nouveau cadre met en evidence certaines proprietes des calculs sequentiels (qu'on avait du mal a deceler dans les modeles preexistants), et il nous mene vers la definition d'un modele extensionnel dont les objets sont des di domaines equipes d'une coherence (qui est un predicat sur les parties finies du domaine) et dont les morphismes sont des fonctions fortement stables, qui preservent les parties coherentes et leurs extremes inferieurs. Dans la derniere partie de la these on reintroduit l'ordre point par point dans le modele fortement stable