Denotational semantics : the Scott-Strachey approach to programming language theory

Bok av Joseph E. Stoy