Difference between revisions of "Paper/Graphical Regular Logic"
Jump to navigation
Jump to search
| Line 26: | Line 26: | ||
[[Category:Category Theory]] | [[Category:Category Theory]] | ||
[[Category:Visual Programming]] | [[Category:Visual Programming]] | ||
[[Category: | [[Category:Logic]] | ||
[[Category:Algebra of Systems]] | [[Category:Algebra of Systems]] | ||
</noinclude> | </noinclude> | ||
Latest revision as of 07:45, 24 February 2022
Fong, Brendan; Spivak, David (Nov 16, 2021). "Graphical Regular Logic" (PDF). local page: arXiv.