Dana Scott

Mathematical concepts in programming language semantics

Dana Scott, Dana Scott, 1899 .

Association for Computing Machinery. 1984 Computer Science Conference

Lawrence M. Seiford, Donald A. Glaser, Stephen Wolfram, 1983 .

CAN MODALITIES SAVE NAIVE SET THEORY?

Dana Scott, Peter Fritz, Harvey Lederman, 2017, The Review of Symbolic Logic.

Drive-By Galleries: Concrete Walls as Art

Dana Scott, 2003 .

Research on Semantically Based Program-Design Environments: The Ergo Project in 1988

Frank Pfenning, Gene Rollins, Dana Scott, 1988 .

Boolean-Valued Semantics for the Stochastic λ-Calculus

Robert Furber, Prakash Panangaden, Giorgio Bacci, 2018, LICS.