Scott, Dana S., 1932-....
Scott, D. S.
Scott, Dana S.
Scott, Dana
Dana Stewart Scott
Dana Scott American mathematician and computer scientist
VIAF ID: 65289661 ( Personal )
Permalink: http://viaf.org/viaf/65289661
Preferred Forms
- 100 0 _ ‡a Dana Scott ‡c American mathematician and computer scientist
- 100 0 _ ‡a Dana Stewart Scott
-
- 200 _ | ‡a Scott ‡b Dana S. ‡f 1932-....
-
-
-
-
- 100 1 _ ‡a Scott, Dana
-
-
- 100 1 0 ‡a Scott, Dana S.
-
-
- 100 1 _ ‡a Scott, Dana S. ‡d 1932-
-
-
- 100 1 _ ‡a Scott, Dana S., ‡d 1932-....
4xx's: Alternate Name Forms (50)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 | |
Axiomatic set theory | |
A compendium of continuous lattices | |
Computation of language : an essay on syntax, semantics and pragmatics in natural man-machine communication / Roland Hausser. - Berlin [etc.], cop. 1989. | |
Data types as lattices | |
Denotational semantics : the Scott-Strachey approach to programming language theory | |
Foundational aspects of theories of measurement | |
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23 1977 | |
An introduction to modal logic : the "Lemmon notes" | |
Kurt Gödel and the foundations of mathematics : horizons of truth | |
The lattice of flow diagrams | |
Notes on the formalization of logic | |
Outline of a mathematical theory of computation | |
Oxford logic guides | |
Proceedings of symposia in pure mathematics | |
Removal of phosphates and metals from sewage sludge | |
Selected papers | |
Sélections. | |
A selective bibliography of philosophical logic | |
Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971 | |
Toward a mathematical semantics for computer languages |