D. S. Scott
4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
A type-theoretical alternative to ISWIM, CUCH, OWHY
D. S. Scott (1993) · Elsevier BV
Semantic domains
C. Gunter and others (1989) · Department of Computer and Information Science, University of Pennsylvania
Relating theories of the lambda-calculus
D. S. Scott (1980) · To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism
A type-theoretical alternative to CUCH, ISWIM, OWHY
D. S. Scott (1969)