D. S. Scott
Books
- Toys in the Attic
- Applications of Sheaves
- A Compendium of Continuous Lattices
- Computer-human interaction in symbolic computation
- 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)
- World resources
- Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977 (Lecture Notes in Mathematics)
- Implementing sparse matrix techniques in the ERATO code
- Higher Set Theory
- Continuous lattices and domains
Author data: Open Library