A structural and nominal syntax for diagrams
From MaRDI portal
Recommendations
- A survey of graphical languages for monoidal categories
- Rewriting modulo symmetric monoidal structure
- Wiring diagrams as normal forms for computing in symmetric monoidal categories
- A practical type theory for symmetric monoidal categories
- Universal constructions for (co)relations: categories, monoidal categories, and props
Cites work
- A survey of graphical languages for monoidal categories
- Diagrammatic reasoning for delay-insensitive asynchronous circuits
- Diagrammatic Semantics for Digital Circuits.
- Full abstraction for signal flow graphs
- scientific article; zbMATH DE number 2185716 (Why is no real title available?)
- scientific article; zbMATH DE number 4157896 (Why is no real title available?)
- scientific article; zbMATH DE number 2222245 (Why is no real title available?)
- Interacting Quantum Observables
- On the category of props
- Rewriting modulo symmetric monoidal structure
- The Frobenius anatomy of word meanings. I: Subject and object relative pronouns
- The geometry of tensor calculus. I
Cited in
(10)- Bialgebraic foundations for the operational semantics of string diagrams
- Contextual equivalence for signal flow graphs
- A graphical calculus for semi-groupal categories
- Confluent Orthogonal Drawings of Syntax Diagrams
- A survey of graphical languages for monoidal categories
- scientific article; zbMATH DE number 5372321 (Why is no real title available?)
- A universal construction for (co)relations
- Wiring diagrams as normal forms for computing in symmetric monoidal categories
- Nominal string diagrams
- Completeness of Nominal PROPs
This page was built for publication: A structural and nominal syntax for diagrams
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3384925)
