Title: Logic of domains
Subjects: Programming languages (Electronic computers), Semantics, Symbolic and mathematical Logic, Logique symbolique, Logique symbolique et mathématique, Funktionale Semantik, Sémantique dénotationnelle, Sémantique langage programmation, Théorie domaine, Programmiersprache, Langages de programmation, Semantischer Bereich, Domaine SFP, Logique mathématique, Sémantique, Logic, symbolic and mathematical