Difference between revisions of "Paper/Algebra of Systems"
Jump to navigation
Jump to search
| Line 20: | Line 20: | ||
Dana Scott made the following statement in the 2017 LambdaConf<ref>[https://youtu.be/8zk0yS8Jp5w?t=1325 Dana Scott on Lambda Calculus]</ref>: | Dana Scott made the following statement in the 2017 LambdaConf<ref>[https://youtu.be/8zk0yS8Jp5w?t=1325 Dana Scott on Lambda Calculus]</ref>: | ||
No body said:"Do these operations have any algebra to them? ... If I were to think about it in 1957, I would have been rich and famous..." | No body said:"Do these operations have any algebra to them? ... If I were to think about it in 1957, I would have been rich and famous..." | ||
. | |||
it is highly recommended for anyone interested in this subject to watch the video series<ref>[[Dana Scott on Lambda Calculus]]</ref> by [[Dana Scott]]. | |||
=References= | =References= | ||
<references/> | <references/> | ||
</noinclude> | </noinclude> | ||
Revision as of 04:06, 5 February 2022
Koo, Hsueh-Yung Benjamin; Simmons, Willard; Crawley, Edward (May 2009). "Algebra of Systems: A Metalanguage for Model Synthesis and Evaluation" (PDF). IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS.
Error creating thumbnail: /bin/bash: line 1: /usr/bin/gs: No such file or directory convert: no decode delegate for this image format `' @ error/constitute.c/ReadImage/575. convert: no images defined `/tmp/transform_cb0286c52ae6.jpg' @ error/convert.c/ConvertImageCommand/3229.
Dana Scott made the following statement in the 2017 LambdaConf[1]:
No body said:"Do these operations have any algebra to them? ... If I were to think about it in 1957, I would have been rich and famous..."
it is highly recommended for anyone interested in this subject to watch the video series[2] by Dana Scott.