Memoirs of a computer pioneer
A type-theoretical alternative to ISWIM, CUCH, OWHY
Theoretical Computer Science - A collection of contributions in honour of Corrado Bo¨hm on the occasion of his 70th birthday
The discoveries of continuations
Lisp and Symbolic Computation - Special issue on continuations—part I
Mathematical theory of domains
Mathematical theory of domains
Domains and lambda-calculi
Logic and programming languages
Communications of the ACM
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
A Theory of Programming Language Semantics
A Theory of Programming Language Semantics
Hi-index | 0.00 |