Die Domänentheorie ist ein etablierter Bestandteil der theoretischen Informatik, die verwendet wird, um Programmiersprachen und Logiken Semantik zu verleihen. In der Mathematik und Logik hat es sich auch bei der Untersuchung von Algorithmen als nützlich erwiesen. Dieses Buch widmet sich einer einheitlichen und in sich geschlossenen Behandlung des Themas. Die Theorie wird mathematisch präzise dargestellt und ist dennoch für Mathematiker und Informatiker gleichermaßen zugänglich. Die Autoren beginnen mit der grundlegenden Theorie, die Domänengleichungen, verschiedene Domänendarstellungen und universelle Domänen umfasst. Sie gehen dann zu spezielleren Themen über, wie z. B. effektiven und Potenzdomänenmodellen des Lambda-Kalküls und so weiter. Insbesondere die Verbindungen mit ultrametrischen Räumen und den KleeneâKreisel-Stetigfunktionen werden präzisiert. Folglich wird der Text als einführendes Lehrbuch nützlich sein (frühere Versionen wurden in Uppsala, Göteborg, Passau, München und Swansea getestet) oder als allgemeines Nachschlagewerk für Fachleute in Informatik und Logik. Sprache: Englisch