nLab Dana Scott

Selected writings

On the theory of computation and introducing the notion of denotational semantics of programming languages by what came to be called domain theory:

On modal logic:

category: people

Last revised on July 16, 2023 at 08:15:01. See the history of this page for a list of all contributions to it.