Książka ta opisuje matematyczne aspekty semantyki języków programowania. Głównym celem jest dostarczenie formalnych narzędzi do oceny znaczenia konstrukcji programistycznych zarówno w sposób niezależny od języka, jak i od maszyny oraz udowodnienie właściwości programów, takich jak to, czy kończą się, czy też ich wynikiem jest rozwiązanie problemu, który mają rozwiązać. Aby to osiągnąć, autorzy najpierw przedstawiają w elementarny i ujednolicony sposób teorię pewnych przestrzeni topologicznych, które okazały się przydatne w modelowaniu różnych rodzin typowanych rachunków lambda uważanych za podstawowe języki programowania i metajęzyki semantyki denotacyjnej. Teoria ta znana jest jako teoria domen i została założona jako przedmiot przez Scotta i Plotkina. Jednym z głównych problemów jest ustalenie powiązań między strukturami matematycznymi a bardziej syntaktycznymi podejściami do semantyki, często określanymi jako semantyka operacyjna, która również została opisana. To podwójne podejście ma podwójną zaletę: motywuje informatyków do uprawiania matematyki i daje interesujących matematyków w nieznanych obszarach zastosowań informatyki. Język: angielski