Follow
Dana Scott
Dana Scott
Visiting Scholar, UC Berkeley
Verified email at cs.cmu.edu
Title
Cited by
Cited by
Year
Finite automata and their decision problems
MO Rabin, D Scott
IBM journal of research and development 3 (2), 114-125, 1959
28241959
Continuous lattices and domains
G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott
Cambridge university press, 2003
24902003
A compendium of continuous lattices
G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott
Springer Science & Business Media, 2012
23032012
Continuous lattices
DS Scott
Toposes, algebraic geometry and logic 274, 97-136, 1972
13861972
Data types as lattices
D Scott
SIAM Journal on computing 5 (3), 522-587, 1976
13401976
Domains for denotational semantics
DS Scott
Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July …, 1982
12321982
Outline of a mathematical theory of computation
D Scott
Oxford University Computing Laboratory, Programming Research Group, 1970
11751970
Toward a mathematical semantics for computer languages
DS Scott, C Strachey
Oxford University Computing Laboratory, Programming Research Group, 1971
11231971
The prevalence of rheumatoid arthritis in the United Kingdom: new estimates for a new century
D Symmons, G Turner, R Webb, P Asten, E Barrett, M Lunt, D Scott, ...
Rheumatology 41 (7), 793-800, 2002
9722002
Foundational aspects of theories of measurement1
D Scott, P Suppes
The journal of symbolic logic 23 (2), 113-128, 1958
9721958
Advice on modal logic
D Scott
Philosophical problems in logic: Some recent developments, 143-173, 1970
7061970
Measurement structures and linear inequalities
D Scott
Journal of mathematical psychology 1 (2), 233-247, 1964
6511964
Sheaves and logic
MP Fourman, DS Scott
Applications of Sheaves: Proceedings of the Research Symposium on …, 2006
5082006
A type-theoretical alternative to ISWIM, CUCH, OWHY
DS Scott
Theoretical Computer Science 121 (1-2), 411-440, 1993
4381993
Semantic domains
CA Gunter, DS Scott
Formal Models and Semantics, 633-674, 1990
4051990
An introduction to modal logic
EJ Lemmon, D Scott, K Segerberg
Journal of Symbolic Logic 44 (4), 1979
3871979
Completeness and axiomatizability in many-valued logic
D Scott
Proceedings of the Tarski symposium 25, 411-436, 1974
3531974
The lattice of flow diagrams
D Scott
Symposium on semantics of algorithmic languages, 311-366, 2006
3432006
Relating theories of the lambda calculus
DS Scott
To HB Curry: Essays on combinatory logic, lambda calculus and formalism, 403-450, 1980
3291980
Lectures on a mathematical theory of computation
DS Scott
Theoretical Foundations of Programming Methodology: Lecture Notes of an …, 1982
3221982
The system can't perform the operation now. Try again later.
Articles 1–20