Difference between revisions of "Paper/Graphical Regular Logic"

From PKC
Jump to navigation Jump to search
(Created page with "{{cite journal |last= Fong |first= Brendan |last2= Spivak |first2= David |author-link=Brendan Fong |date=Nov 16, 2021 |title=Graphical Regular Logic |url=https://arxiv...")
 
Line 18: Line 18:
|height=800
|height=800
}}
}}
[[Brendan Fong]]'s doctoral thesis provides a elaborate treatment to Algebra of Systems<ref>{{:Thesis/The Algebra of Open and Interconnected Systems}}</ref>.
==Interesting Remark related to Algebra of Systems==
Dana Scott made the following statement in the 2017 LambdaConf<ref>[https://youtu.be/8zk0yS8Jp5w?t=1323 Dana Scott:"The general process of abstraction can be organized into algebras"]</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..."
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=

Revision as of 07:45, 24 February 2022

Fong, Brendan; Spivak, David (Nov 16, 2021). "Graphical Regular Logic" (PDF). local page: arXiv. 


Currently your browser does not use a PDF plugin. You may however download the PDF file instead.

References

Related Pages

Brendan Fong David Spivak