Dana S. Scott
发表
Lars Birkedal,
Steven Awodey,
Dana S. Scott,
2002,
Math. Struct. Comput. Sci..
Dana S. Scott,
1971,
AFIPS '72 (Spring).
Dana S. Scott,
1986,
DS-2.
Lars Birkedal,
Giuseppe Rosolini,
Dana S. Scott,
1999,
Electron. Notes Theor. Comput. Sci..
Christoph Benzmüller,
Dana S. Scott,
2016,
ArXiv.
Christos H. Papadimitriou,
Dana S. Scott,
Matthias Baaz,
2011
.
Dana S. Scott,
Tamar Lando,
D. Scott,
2019,
J. Philos. Log..
Dana S. Scott,
1982
.
Dana S. Scott,
1991,
TACS.
Klaus Keimel,
Michael W. Mislove,
Jimmie D. Lawson,
1980
.
Dana S. Scott,
2001,
MFCS.
Dana S. Scott,
D. Scott,
1970
.
Dana S. Scott,
Dominic McCarty,
D. Scott,
2008,
Bulletin of Symbolic Logic.
Dana S. Scott,
Michael O. Rabin,
M. Rabin,
1959,
IBM J. Res. Dev..
Dana S. Scott,
D. Scott,
1993,
Theor. Comput. Sci..
Dana S. Scott,
D. Scott,
1967,
Mathematical systems theory.
Dana S. Scott,
2005,
Acta Informatica.
Patrick Suppes,
Dana S. Scott,
P. Suppes,
1958,
Journal of Symbolic Logic.
Dana S. Scott,
2000,
Electron. Notes Theor. Comput. Sci..
Giuseppe Rosolini,
Dana S. Scott,
Peter J. Freyd,
1992,
Inf. Comput..
Dana S. Scott,
2012,
ACM-TURING '12.
Dana S. Scott,
D. Scott,
1982
.
Andrej Bauer,
Gordon D. Plotkin,
Dana S. Scott,
2014,
Theor. Comput. Sci..
Christos H. Papadimitriou,
Dana S. Scott,
Matthias Baaz,
2011
.
Dana S. Scott,
William L. Scherlis,
1985,
TAPSOFT, Vol.1.
Dana S. Scott,
William L. Scherlis,
D. Scott,
1983,
IFIP Congress.
Dana S. Scott,
Alonzo Church,
Alonzo Church,
1973
.
Dana S. Scott,
Nick Benton,
A. Kennedy,
2009,
TPHOLs.
Christoph Benzmüller,
Dana S. Scott,
2018,
Arch. Formal Proofs.
Martin Davies,
Dana S. Scott,
Graeme Forbes,
1978
.
Christos H. Papadimitriou,
Dana S. Scott,
Matthias Baaz,
2011
.
Dana S. Scott,
1967,
J. Comput. Syst. Sci..
Dana S. Scott,
1968
.
Benjamin C. Pierce,
Gordon D. Plotkin,
Dana S. Scott,
2013,
MFPS.
Dana S. Scott,
D. Scott,
1975,
Lambda-Calculus and Computer Science Theory.
Lars Birkedal,
Steven Awodey,
Dana S. Scott,
2002,
Mathematical Structures in Computer Science.
Dana S. Scott,
J. Barkley Rosser,
I. L. Gal,
1958,
J. Symb. Log..
Dana S. Scott,
David Bostock,
D. Scott,
1981
.
Dana S. Scott,
D. Scott,
1980
.
Glynn Winskel,
Thomas Ehrhard,
Abbas Edalat,
2009,
Math. Struct. Comput. Sci..
Christoph Benzmüller,
Dana S. Scott,
D. Scott,
2016,
ICMS.
Dana S. Scott,
D. Scott,
1976,
SIAM J. Comput..
Dana S. Scott,
2000,
Electron. Notes Theor. Comput. Sci..
Krister Segerberg,
Dana S. Scott,
E. J. Lemmon,
1977
.
Dana S. Scott,
1979
.
Dana S. Scott,
D. Scott,
1975
.
Lars Birkedal,
Giuseppe Rosolini,
Dana S. Scott,
1998,
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Klaus Keimel,
Michael W. Mislove,
Jimmie D. Lawson,
1980
.
Dana S. Scott,
Robin O. Gandy,
1977,
J. Symb. Log..
Some Reflections on a Computer-aided Theory Exploration Study in Category Theory (Extended Abstract)
Christoph Benzmüller,
Dana S. Scott,
D. Scott,
2018
.
Dana S. Scott,
1996,
CADE.
Dana S. Scott,
D. Scott,
1971,
Symposium on Semantics of Algorithmic Languages.
Dana S. Scott,
2014,
J. Appl. Log..
Allen Newell,
Gilbert Harman,
Dana S. Scott,
1990
.
Christos H. Papadimitriou,
Dana S. Scott,
Matthias Baaz,
2011
.
Carl A. Gunter,
Dana S. Scott,
D. Scott,
1990
.
Carl A. Gunter,
Dana S. Scott,
D. Scott,
1991,
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
Dana S. Scott,
2011
.
Dana S. Scott,
1989,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Dana S. Scott,
D. Scott,
1970
.
Dana S. Scott,
D. Scott,
1977,
CACM.
Klaus Keimel,
Michael W. Mislove,
Jimmie D. Lawson,
1980
.
Christoph Benzmüller,
Dana S. Scott,
Miroslav Benda,
2020,
RAMiCS.
Dana S. Scott,
1996,
AISMC.
Dana S. Scott,
2000,
High. Order Symb. Comput..
Dana S. Scott,
Vijay Saraswat,
D. Scott,
1989
.
Krister Segerberg,
Dana S. Scott,
E. J. Lemmon,
1977
.
Dana S. Scott,
D. Scott,
1975,
Lambda-Calculus and Computer Science Theory.
Giuseppe Rosolini,
Dana S. Scott,
Peter J. Freyd,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Dana S. Scott,
D. Scott,
1982
.
Dana S. Scott,
D. Scott,
1974
.
Christoph Benzmüller,
Dana S. Scott,
D. Scott,
2019,
Journal of Automated Reasoning.
Andrej Bauer,
Lars Birkedal,
Dana S. Scott,
2004,
Theor. Comput. Sci..
Christopher Strachey,
Dana S. Scott,
C. Strachey,
1971
.
Carl A. Gunter,
Peter D. Mosses,
Dana S. Scott,
1989
.
Dana S. Scott,
2009,
CCA.
Andrej Bauer,
Dana S. Scott,
D. Scott,
2000
.
Dana S. Scott,
D. Scott,
2007
.
Klaus Keimel,
Michael W. Mislove,
Jimmie D. Lawson,
1980
.
Klaus Keimel,
Michael W. Mislove,
Jimmie D. Lawson,
2003
.
Klaus Keimel,
Michael W. Mislove,
Jimmie D. Lawson,
2003
.
Dana S. Scott,
Gert H. Müller,
D. Scott,
1978
.
Dana S. Scott,
1968
.
Christos H. Papadimitriou,
Dana S. Scott,
Hilary Putnam,
2011
.
Dana S. Scott,
D. Scott,
1966
.
Christos H. Papadimitriou,
Dana S. Scott,
Matthias Baaz,
2014
.
Dana S. Scott,
D. Scott,
1970
.
Simon Huber,
Helmut Schwichtenberg,
Dana S. Scott,
2010
.
Klaus Keimel,
Michael W. Mislove,
Jimmie D. Lawson,
2003
.
Dana S. Scott,
D. A. Martin,
1968
.