We stand with Ukraine

We stand with Ukraine

Dana S. Scott

According to our database¹, Dana S. Scott authored at least 50 papers between 1958 and 2023.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of three.

Awards

Turing Prize recipient

Turing Prize 1976, "For their joint paper "Finite Automata and Their Decision Problem," which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field" awarded to Dana S. Scott and Michael O. Rabin.

ACM Fellow

ACM Fellow 1994, "For their joint paper 'Finite Automataand Their Decision Problem,' which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field.".

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

On csauthors.net:

Bibliography

2023

Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation.

[BibT_eX]

[DOI]

,

,

Christoph Benzmüller

,

CoRR, 2023

Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation.

[BibT_eX]

[DOI]

,

,

Christoph Benzmüller

,

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

2021

Interpreting Lambda Calculus in Domain-Valued Random Variables.

[BibT_eX]

[DOI]

,

,

Prakash Panangaden

,

CoRR, 2021

2020

Automating Free Logic in HOL, with an Experimental Application in Category Theory.

[BibT_eX]

[DOI]

Christoph Benzmüller

,

J. Autom. Reason., 2020

Computer-Supported Exploration of a Categorical Axiomatization of Modeloids.

[BibT_eX]

[DOI]

,

,

Christoph Benzmüller

,

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2019

A Calculus of Regions Respecting Both Measure and Topology.

[BibT_eX]

[DOI]

,

J. Philos. Log., 2019

2018

Can Modalities Save Naive Set Theory?

[BibT_eX]

[DOI]

,

Harvey Lederman

,

,

Rev. Symb. Log., 2018

Axiom Systems for Category Theory in Free Logic.

[BibT_eX]

[DOI]

Christoph Benzmüller

,

Arch. Formal Proofs, 2018

Boolean-Valued Semantics for the Stochastic λ-Calculus.

[BibT_eX]

[DOI]

,

,

,

,

Prakash Panangaden

,

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2016

Axiomatizing Category Theory in Free Logic.

[BibT_eX]

[DOI]

Christoph Benzmüller

,

CoRR, 2016

Automating Free Logic in Isabelle/HOL.

[BibT_eX]

[DOI]

Christoph Benzmüller

,

Proceedings of the Mathematical Software - ICMS 2016, 2016

2014

Cartesian closed categories of separable Scott domains.

[BibT_eX]

[DOI]

,

Gordon D. Plotkin

,

Theor. Comput. Sci., 2014

Stochastic λ-calculi: An extended abstract.

[BibT_eX]

[DOI]

J. Appl. Log., 2014

2013

Dedication.

[BibT_eX]

[DOI]

Stephen Brookes

,

Benjamin C. Pierce

,

Gordon D. Plotkin

,

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

2012

Lambda Calculus Then and Now.

[BibT_eX]

[DOI]

Proceedings of the ACM Turing Centenary Celebration, 2012

2009

Semilattices, Domains, and Computability (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, 2009

2008

Reconsidering Ordered Pairs.

[BibT_eX]

[DOI]

,

Dominic McCarty

Bull. Symb. Log., 2008

2007

Continuous Lattices and Domains.

[BibT_eX]

[DOI]

,

,

Karl Heinrich Hofmann

,

,

Jimmie D. Lawson

,

Michael W. Mislove

,

Stud Logica, 2007

2004

Equilogical spaces.

[BibT_eX]

[DOI]

,

,

Theor. Comput. Sci., 2004

2001

A New Category for Semantics.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2001, 2001

2000

Some Reflections on Strachey and His Work.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2000

Powersets, Fixed Points, and Lambda Calculus.

[BibT_eX]

[DOI]

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

1999

Preface.

[BibT_eX]

[DOI]

,

Jaap van Oosten

,

Giuseppe Rosolini

,

Proceedings of the Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30, 1999

Local Realizability Toposes and a Modal Logic for Computability.

[BibT_eX]

[DOI]

,

,

Proceedings of the Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30, 1999

1998

Effective versions of equilogical spaces.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Domains IV 1998, 1998

Type Theory via Exact Categories.

[BibT_eX]

[DOI]

,

Aurelio Carboni

,

Giuseppe Rosolini

,

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1996

What Can We Hope to Achieve From Automated Deduction? (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

Symbolic Computation and Teaching.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996

1994

A. Nico Habermann 1932-1993.

[BibT_eX]

[DOI]

Acta Informatica, 1994

1993

A Type-Theoretical Alternative to ISWIM, CUCH, OWHY.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

1992

Extensional PERs

[BibT_eX]

[DOI]

,

,

Giuseppe Rosolini

,

Inf. Comput., June, 1992

1991

Will Logicians be Replaced by Machines?

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computer Software, 1991

1990

Semantic Domains.

[BibT_eX]

[DOI]

,

Proceedings of the Handbook of Theoretical Computer Science, 1990

1989

Domains and Logics (Extended Abstract)

[BibT_eX]

[DOI]

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

1986

Capturing Concepts with Data Structures.

[BibT_eX]

Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics, 1986

1985

Semantically Based Programming Tools (Summary).

[BibT_eX]

[DOI]

William L. Scherlis

,

Proceedings of the Mathematical Foundations of Software Development, 1985

1983

First Steps Towards Inferential Programming.

[BibT_eX]

William L. Scherlis

,

Proceedings of the Information Processing 83, 1983

1982

Domains for Denotational Semantics.

[BibT_eX]

[DOI]

Proceedings of the Automata, 1982

1977

European Meeting of the Association for Symbolic Logic: Oxford, England, 1976.

[BibT_eX]

[DOI]

,

J. Symb. Log., 1977

Logic and Programming Languages.

[BibT_eX]

[DOI]

Commun. ACM, 1977

1976

Data Types as Lattices.

[BibT_eX]

[DOI]

SIAM J. Comput., 1976

1975

Some philosophical issues concerning theories of combinators.

[BibT_eX]

[DOI]

Proceedings of the Lambda-Calculus and Computer Science Theory, 1975

Combinators and classes.

[BibT_eX]

[DOI]

Proceedings of the Lambda-Calculus and Computer Science Theory, 1975

1972

Mathematical concepts in programming language semantics.

[BibT_eX]

[DOI]

Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1972 Spring Joint Computer Conference, 1972

1971

The lattice of flow diagrams.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Semantics of Algorithmic Languages, 1971

1967

A Proof of the Independence of the Continuum Hypothesis.

[BibT_eX]

[DOI]

Math. Syst. Theory, 1967

Some Definitional Suggestions for Automata Theory.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1967

1959

Finite Automata and Their Decision Problems.

[BibT_eX]

[DOI]

Michael O. Rabin

,

IBM J. Res. Dev., 1959

1958

Foundational Aspects of Theories of Measurement.

[BibT_eX]

[DOI]

,

J. Symb. Log., 1958

Generalization of a Lemma of G. F. Rose.

[BibT_eX]

[DOI]

,

J. Barkley Rosser

,

J. Symb. Log., 1958

Loading...