Dit boek beschrijft de wiskundige aspecten van de semantiek van programmeertalen. De belangrijkste doelen zijn om formele hulpmiddelen te bieden om de betekenis van programmeerconstructies te beoordelen op zowel een taalonafhankelijke als een machine-onafhankelijke manier en om eigenschappen van programma's te bewijzen, zoals of ze eindigen of dat hun resultaat een oplossing is voor het probleem dat ze zouden moeten oplossen. Om dit te bereiken presenteren de auteurs eerst op een elementaire en uniforme manier de theorie van bepaalde topologische ruimten die hun nut hebben bewezen bij het modelleren van verschillende families van getypeerde lambdacalculi die worden beschouwd als kernprogrammeertalen en als metatalen voor denotationele semantiek. Deze theorie staat bekend als Domain Theory en werd als onderwerp opgericht door Scott en Plotkin. Een van de belangrijkste aandachtspunten is het leggen van verbanden tussen wiskundige structuren en meer syntactische benaderingen van semantiek, vaak aangeduid als operationele semantiek, die ook wordt beschreven. Deze tweeledige benadering heeft het dubbele voordeel dat het informatici motiveert om wat wiskunde te doen en dat het wiskundigen interesseert in onbekende toepassingsgebieden uit de informatica. Taal: Engels