We introduce a general diagrammatic theory of digital circuits, based on connections between monoidal categories and graph rewriting. The main achievement of the paper is conceptual, filling a foundational gap in reasoning syntactically and symbolically about a large class of digital circuits (discr...
Research Assistant
AI chat, annotations, notes & similar papers
No comments yet
Be the first to share your thoughts!