Difference between revisions of "Mathematical Semantics"
Jump to navigation
Jump to search
| Line 14: | Line 14: | ||
[[Category:Verification]] | [[Category:Verification]] | ||
[[Category:Validation]] | [[Category:Validation]] | ||
[[Category:Combinatorial Physics]] | |||
</noinclude> | </noinclude> | ||
Revision as of 03:55, 5 January 2022
Mathematical semantics is also known as denotational semantics, which implied that this is a form of Data Science. This field has been attributed to Dana Scott[1] and Christopher Strachey.
References
- ↑ Scott, Dana (January 1, 1970). "Outline of a Mathematical Theory of Computation". local page: Oxford University Computing Laboratory Programming Research Group.
Related Pages