Functorial Boxes in String Diagrams
From MaRDI portal
Publication:3613326
DOI10.1007/11874683_1zbMATH Open1225.03087OpenAlexW1583784885MaRDI QIDQ3613326FDOQ3613326
Authors: Paul-André Melliès 
Publication date: 12 March 2009
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11874683_1
Recommendations
Proof-theoretic aspects of linear logic and other substructural logics (03F52) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Cited In (23)
- The dynamic geometry of interaction machine: a token-guided graph rewriter
- Computation by interaction for space-bounded functional programming
- Resource modalities in tensor logic
- String Diagrams for Layered Explanations
- A Graphical Foundation for Schedules
- A first-order logic for string diagrams
- Completeness of Nominal PROPs
- Categorical composable cryptography: extended version
- A covariant Stinespring theorem
- Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers
- Title not available (Why is that?)
- String diagrams for strictification and coherence
- The Joy of String Diagrams
- A graphical foundation for interleaving in game semantics
- Semantics of higher-order quantum computation via geometry of interaction
- String diagrams for traced and compact categories are oriented 1-cobordisms
- Bimonoidal structure of probability monads
- Traces for coalgebraic components
- On traced monoidal closed categories
- Unitary transformations of fibre functors
- Open diagrams via coend calculus
- Cyber kittens, or some first steps towards categorical cybernetics
- On paradoxes in normal form
This page was built for publication: Functorial Boxes in String Diagrams
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613326)
