D. S. Scott

Continuous lattices and domains

2009

Computer-human interaction in symbolic computation

2012

A Compendium of Continuous Lattices

2012

Toys in the Attic

2015

Higher Set Theory

2007

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

1978

Applications of Sheaves

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)

1979