Paper/Graphical Regular Logic

From PKC
Revision as of 07:44, 24 February 2022 by Benkoo (talk | contribs) (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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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.

Brendan Fong's doctoral thesis provides a elaborate treatment to Algebra of Systems[1].

Interesting Remark related to Algebra of Systems

Dana Scott made the following statement in the 2017 LambdaConf[2]: 

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[3] by Dana Scott.

References

  1. ↑ Fong, Brendan (2016). The Algebra of Open and Interconnected Systems (PDF) (Ph.D.). local page: University of Oxford. Retrieved October 15, 2021. 
  2. ↑ Dana Scott:"The general process of abstraction can be organized into algebras"
  3. ↑ Dana Scott on Lambda Calculus

Related Pages

Brendan Fong David Spivak

Retrieved from "https://pkc.pub/index.php?title=Paper/Graphical_Regular_Logic&oldid=26372"