scientific article; zbMATH DE number 7649901

DOI10.4230/LIPIcs.CALCO.2019.18MaRDI QIDQ5875359

Samuel Balco, Alexander Kurz

Publication date: 3 February 2023

Full work available at URL: https://arxiv.org/abs/1904.07534

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

monoidal categoryseparated productPROnominal setsinternal categorystring diagramsinternal monoidal categoriessimultaneous substitutions

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (3)

Completeness of Nominal PROPs ⋮ On the Pre- and Promonoidal Structure of Spacetime ⋮ Bialgebraic foundations for the operational semantics of string diagrams

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new approach to abstract syntax with variable binding
• The calculus of signal flow diagrams. I: Linear relations on streams.
• The geometry of tensor calculus. I
• Categorical logic and type theory
• Towards an algebraic theory of Boolean circuits.
• Nominal Sets
• A Program Construction and Verification Tool for Separation Logic
• Multi-type display calculus for dynamic epistemic logic
• Picturing Quantum Processes
• A Survey of Graphical Languages for Monoidal Categories
• The semantics of BI and resource tableaux
• The Logic of Bunched Implications
• Props in Network Theory
• Rewriting modulo symmetric monoidal structure
• Coherent Presentations of Monoidal Categories
• Categorical algebra

This page was built for publication: