Completeness of Nominal PROPs
From MaRDI portal
Publication:5883754
DOI10.46298/LMCS-19(1:8)2023OpenAlexW3017316050MaRDI QIDQ5883754FDOQ5883754
Authors: Samuel Balco, Alexander Kurz 
Publication date: 22 March 2023
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2004.08380v5
Cites Work
- The geometry of tensor calculus. I
- Braided tensor categories
- Nominal sets. Names and symmetry in computer science
- A survey of graphical languages for monoidal categories
- The semantics of BI and resource tableaux
- Nominal (universal) algebra: equational logic with names and binding
- The Logic of Bunched Implications
- Title not available (Why is that?)
- Linear logic
- Functorial Boxes in String Diagrams
- A program construction and verification tool for separation logic
- Full abstraction for signal flow graphs
- Title not available (Why is that?)
- Rewriting modulo symmetric monoidal structure
- Topology and logic as a source of algebra
- Title not available (Why is that?)
- Classical roots of knot theory
- Pure bigraphs: structure and dynamics
- Adjointness in Foundations
- Stone Duality for Nominal Boolean Algebras with И
- Towards an algebraic theory of Boolean circuits.
- Automata theory in nominal sets
- The Logical Essentials of Bayesian Reasoning
- Title not available (Why is that?)
- The calculus of signal flow diagrams. I: Linear relations on streams.
- Foundations of Software Science and Computational Structures
- Title not available (Why is that?)
- Nominal Domain Theory for Concurrency
- Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning
- On the category of props
- Multi-type display calculus for dynamic epistemic logic
- A structural and nominal syntax for diagrams
- Learning nominal automata
- Causal inference by string diagram surgery
- Coherent presentations of monoidal categories
- Denotational semantics with nominal Scott domains
This page was built for publication: Completeness of Nominal PROPs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5883754)
