Showing
1 - 4
results of
4
for search '
Dana Scott
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Author
Dana Scott
Dana Scott
Dana Stewart Scott
(born October 11, 1932) is an American logician who is the emeritus Hillman University Professor of
Computer Science
,
Philosophy
, and
Mathematical Logic
at
Carnegie Mellon University
; he is now retired and lives in
Berkeley, California
. His work on
automata theory
earned him the
Turing Award
in 1976, while his collaborative work with
Christopher Strachey
in the 1970s laid the foundations of modern approaches to the
semantics of programming languages
. He has also worked on
modal logic
,
topology
, and
category theory
.
Provided by Wikipedia
Search Results
Showing
1 - 4
results of
4
for search '
Dana Scott
'
, query time: 0.03s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Modeling Powassan virus infection in Peromyscus leucopus, a natural host.
Get access
Get access
Nipah virus transmission in a hamster model.
Get access
Get access
Comparison of the pathogenicity of Nipah virus isolates from Bangladesh and Mala...
Get access
Get access
A single-dose ChAdOx1-vectored vaccine provides complete protection against Nipa...
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Related Subjects
Arctic medicine. Tropical medicine
Public aspects of medicine
RA1-1270
RC955-962
Loading...