Denotational Semantics: The Scott-Strachey Approach to ProgrammingLanguageTheory (1977)

by JosephStoy