Title: Denotational Semantics
Subjects: Programming languages (electronic computers)