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