The purpose of this paper is to explain … [denotational] semantics of a programming language which includes a very general … the actual language described in this paper is … inconvenient moments, and in particular to jump out … the method of "continuations", has been developed from … [ref] and, independently, by F.L. Morris [ref], extending the work of … [refs] …
Google-1
Google-2
Copyright clearance needed for quotation.