D. S. Scott

D. S. Scott

2 books in the database

Books

Computer-human interaction in symbolic computationD. S. Scott

Computer-human interaction in symbolic computation

D. S. Scott · 2012

Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977 (Lecture Notes in Mathematics)D. S. Scott

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

D. S. Scott · 1978

Co-authored books and collections

Books that list D. S. Scott among their authors but not as the lead author: co-written works, collections and compilations.

Higher Set TheoryG. H. Müller

Higher Set Theory

G. H. Müller · 2007

Applications of SheavesM. P. Fourman

Applications of Sheaves

M. P. Fourman · 2006

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)A. Dold

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)

A. Dold · 1979