Difference between revisions of "Dana Scott"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
Dana Scott is a pioneer in Theoretical Computing Science. He came up with the notion of [[Denotational Semantics]], a.k.a. [[Mathematical Semantics]] with Richard Strachey. | Dana Scott is a pioneer in Theoretical Computing Science. He came up with the notion of [[Denotational Semantics]], a.k.a. [[Mathematical Semantics]] with Richard Strachey. | ||
=Dana Scott on Cloud Computing= | |||
In a public lecture, Prof. Scott expressed his opinion on Cloud Computing<ref name="Scott Part 2">{{:Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 2 of 5 - λC 2017}}</ref><ref>[https://youtu.be/S1aoZb7vF4M?t=732 around 10 seconds]</ref>. | |||
<noinclude> | |||
=References= | |||
<references/> | |||
=Related Pages= | |||
[[Category:Order]] | [[Category:Order]] | ||
[[Category:Mathematical Semantics]] | [[Category:Mathematical Semantics]] | ||
[[Category:Lambda Calculus]] | [[Category:Lambda Calculus]] | ||
</noinclude> | |||
Revision as of 01:30, 19 January 2022
Dana Scott is a pioneer in Theoretical Computing Science. He came up with the notion of Denotational Semantics, a.k.a. Mathematical Semantics with Richard Strachey.
Dana Scott on Cloud Computing
In a public lecture, Prof. Scott expressed his opinion on Cloud Computing[1][2].
References
- ↑ Scott, Dana (Oct 12, 2017). Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 2 of 5 - λC 2017. local page: LambdaConf.
- ↑ around 10 seconds