Această carte descrie aspectele matematice ale semanticii limbajelor de programare. Principalele obiective sunt de a oferi instrumente formale pentru a evalua semnificația construcțiilor de programare atât într-un mod independent de limbaj, cât și independent de mașină și de a dovedi proprietățile programelor, cum ar fi dacă se termină sau dacă rezultatul lor este o soluție a problemei pe care ar trebui să o rezolve. Pentru a realiza acest lucru, autorii prezintă mai întâi într-un mod elementar și unificat teoria anumitor spații topologice care s-au dovedit a fi utile în modelarea diferitelor familii de calculi lambda tipizate, considerate ca limbaje de programare de bază și ca meta-limbaje pentru semantică denotațională. Această teorie este cunoscută sub numele de teoria domeniului și a fost fondată ca subiect de Scott și Plotkin. Una dintre principalele preocupări este de a stabili legături între structurile matematice și abordările mai sintactice ale semanticii, adesea denumită semantică operațională, care este, de asemenea, descrisă. Această abordare duală are dublul avantaj de a motiva informaticienii să facă matematică și de a interesa matematicienii în domenii de aplicare necunoscute din informatică. Limba: engleză