Dana Scott
E207979
UNEXPLORED
Dana Scott is an American logician and mathematician renowned for his foundational work in domain theory, model theory, and the semantics of programming languages, for which he received the Turing Award.
Referenced by (4)
| Subject (surface form when different) | Predicate |
|---|---|
|
Deepak Kapur
→
|
hasAcademicAdvisor |
|
Alonzo Church
→
|
influenced |
|
Robin Milner
→
|
influencedBy |
|
Alfred Tarski
→
|
notableStudent |