scientific article; zbMATH DE number 7649898

DOI10.4230/LIPIcs.CALCO.2019.15MaRDI QIDQ5875356

Jens Seeber, Filippo Bonchi, Paweł Sobociński

Publication date: 3 February 2023

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

zbMATH Keywords

axiom of choicestring diagramsCartesian bicategories

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantics of higher-order quantum computation via geometry of interaction
• Cartesian bicategories. I
• Categorical logic and type theory
• Coreflections in algebraic quantum logic
• Corelations are the prop for extraspecial commutative Frobenius monoids
• A Survey of Graphical Languages for Monoidal Categories
• Coalgebras and cartesian categories
• Universal Constructions for (Co)Relations: categories, monoidal categories, and props
• Introduction to bicategories
• Rewriting modulo symmetric monoidal structure
• Graphical Conjunctive Queries.
• Refinement for signal flow graphs
• Axiom of choice

This page was built for publication: