D
D. S. Scott
10 works on record
Works

Continuous lattices and domains

Computer-human interaction in symbolic computation

A Compendium of Continuous Lattices

Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis, Durham, July 9-21, 1977 (Lecture Notes in Mathematics)

Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977 (Lecture Notes in Mathematics)
Higher Set Theory
Higher Set Theory
Applications of Sheaves
Applications of Sheaves

Toys in the Attic
World resources
World resources
Implementing sparse matrix techniques in the ERATO code
Implementing sparse matrix techniques in the ERATO code