This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Dana Scott
A grouping.
Dana Scott: one record from each half of a career - denotational semantics ('Toward a Mathematical Semantics for Computer Languages', 1971) and model theory ('Reduced direct products', 1962).
6 references
Sheaves and logic
Michael Paul Fourman and others (1979) · Lecture notes in mathematics · Springer Nature
Identity and existence in intuitionistic logic
Dana Scott (1979) · Applications of Sheaves · Springer Berlin Heidelberg
Continuous lattices
Dana Scott (1972) · Springer Berlin Heidelberg
Toward a Mathematical Semantics for Computer Languages
Dana Scott and others (1971) · Proceedings of the Symposium on Computers and Automata · Polytechnic Press
Constructive validity
Dana Scott (1970) · Lecture notes in mathematics · Springer Nature
Reduced direct products
Thomas Frayne and others (1962) · Fundamenta Mathematicae