Nominal string diagrams
From MaRDI portal
Recommendations
- Rewriting for monoidal closed categories
- String diagrams for regular logic (extended abstract)
- A structural and nominal syntax for diagrams
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure
- Universal constructions for (co)relations: categories, monoidal categories, and props
Cites work
- A new approach to abstract syntax with variable binding
- A program construction and verification tool for separation logic
- A structural and nominal syntax for diagrams
- A survey of graphical languages for monoidal categories
- Categorical algebra
- Categorical logic and type theory
- Coherent presentations of monoidal categories
- scientific article; zbMATH DE number 2125662 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- Multi-type display calculus for dynamic epistemic logic
- Nominal sets. Names and symmetry in computer science
- Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning
- Props in Network Theory
- Rewriting modulo symmetric monoidal structure
- The calculus of signal flow diagrams. I: Linear relations on streams.
- The geometry of tensor calculus. I
- The Logic of Bunched Implications
- The semantics of BI and resource tableaux
- Towards an algebraic theory of Boolean circuits.
Cited in
(8)- Chamber systems with string diagrams
- Bialgebraic foundations for the operational semantics of string diagrams
- String bracket and flat connections
- A practical type theory for symmetric monoidal categories
- Completeness of Nominal PROPs
- Computads and string diagrams for \(n\)-sesquicategories
- On the Pre- and Promonoidal Structure of Spacetime
- A categorical approach to DIBI models
This page was built for publication: Nominal string diagrams
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5875359)
