Denotational semantics: the Scott-Strachey approach to programming language theory. (First paperback ed.). (English) Zbl 0503.68059

The MIT Press Series in Computer Science, 1. Cambridge, Massachusetts; London: The MIT Press. XXXI, 414 p. £8.75 (1981).


68Q55 Semantics in the theory of computing
68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
03B40 Combinatory logic and lambda calculus