Denne bog beskriver de matematiske aspekter af programmeringssprogets semantik. Hovedmålene er at give formelle værktøjer til at vurdere betydningen af programmeringskonstruktioner på både en sproguafhængig og en maskinuafhængig måde og at bevise egenskaber om programmer, såsom om de afsluttes, eller om deres resultat er en løsning på det problem, de skal løse. For at opnå dette præsenterer forfatterne først på en elementær og samlet måde teorien om visse topologiske rum, der har vist sig nyttige i modelleringen af forskellige familier af typede lambda-beregninger, betragtes som kerneprogrammeringssprog og som metasprog for denotationssemantik. Denne teori er kendt som domæneteori og blev grundlagt som et emne af Scott og Plotkin. En af de vigtigste bekymringer er at etablere forbindelser mellem matematiske strukturer og mere syntaktiske tilgange til semantik, ofte omtalt som operationel semantik, hvilket også beskrives. Denne dobbelte tilgang har den dobbelte fordel, at den motiverer dataloger til at lave noget matematik og interessante matematikere inden for ukendte anvendelsesområder fra datalogi. Sprog: Engelsk