Bicategorical semantics for nondeterministic computation
From MaRDI portal
Publication:265831
DOI10.1016/j.entcs.2013.09.022zbMath1334.68061arXiv1301.3393OpenAlexW2171087000WikidataQ113317950 ScholiaQ113317950MaRDI QIDQ265831
Publication date: 12 April 2016
Full work available at URL: https://arxiv.org/abs/1301.3393
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Categories of relations as models of quantum theory ⋮ Categorical composable cryptography: extended version ⋮ Categorical composable cryptography
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Higher categories, strings, cubes and simplex equations
- Violations of local realism by two entangled quNits
- Compact Closed Bicategories
- Higher Semantics of Quantum Protocols
- Physics, Topology, Logic and Computation: A Rosetta Stone
- A Survey of Graphical Languages for Monoidal Categories
- Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
This page was built for publication: Bicategorical semantics for nondeterministic computation
