La théorie des domaines est une partie établie de l’informatique théorique utilisée pour donner la sémantique aux langages de programmation et aux logiques. En mathématiques et en logique, il s’est également avéré utile dans l’étude des algorithmes. Ce livre est consacré à fournir un traitement unifié et autonome du sujet. La théorie est présentée d’une manière mathématiquement précise qui est néanmoins accessible aux mathématiciens et aux informaticiens. Les auteurs commencent par la théorie de base comprenant des équations de domaine diverses représentations de domaine et des domaines universels. Ils passent ensuite à des sujets plus spécialisés tels que les modèles de domaines effectifs et de puissance du lambda-calcul et ainsi de suite. En particulier, les connexions avec les espaces ultramétriques et les fonctions continues KleeneâKreisel sont précisées. Par conséquent, le texte sera utile comme manuel d’introduction (les versions antérieures ont été testées en classe à Uppsala Göteborg Passau Munich et Swansea) ou comme référence générale pour les professionnels de l’informatique et de la logique. Langue: Anglais