Stoy: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory (1977)

by E Joseph