Title: Semantics of programming languages and model theory
Subjects: Semantics, Programming languages (Electronic computers), Programming languages (electronic computers)