scientific article; zbMATH DE number 7204369
From MaRDI portal
Publication:5111249
DOI10.4230/LIPIcs.MFCS.2017.35zbMath1441.68055arXiv1705.07310MaRDI QIDQ5111249
Octavio Zapata, Rui Soares Barbosa, Samson Abramsky, Nadish de Silva
Publication date: 26 May 2020
Full work available at URL: https://arxiv.org/abs/1705.07310
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Quantum computation (81P68) Applications of universal algebra in computer science (08A70) Eilenberg-Moore and Kleisli constructions for monads (18C20) Quantum algorithms and complexity in the theory of computing (68Q12)
Related Items (7)
Continuous-variable nonlocality and contextuality ⋮ A complete characterization of all-versus-nothing arguments for stabilizer states ⋮ Categories of Empirical Models ⋮ Unnamed Item ⋮ Quantum sets ⋮ Relating Structure and Power: Comonadic Semantics for Computational Resources ⋮ Quantum extensions of ordinary maps
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quantum homomorphisms
- Elements of finite model theory.
- Brownian local minima, random dense countable sets and random equivalence classes
- On the quantum chromatic number of a graph
- Notes on joint measurability of quantum observables
- Conjunctive-query containment and constraint satisfaction
- Algebras, synchronous games, and chromatic numbers of graphs
- Bell-Kochen-Specker theorem: a proof with \(18\) vectors.
- Quantum and non-signalling graph isomorphisms
- Monads on symmetric monoidal closed categories
- Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
- Categorical quantum mechanics
- Perfect commuting-operator strategies for linear system games
- Convexity, Duality and Effects
- The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
- Simple unified form for the major no-hidden-variables theorems
- The Cohomology of Non-Locality and Contextuality
- Analysis of Boolean Functions
- Characterization of Binary Constraint System Games
- Tsirelson’s problem and an embedding theorem for groups arising from non-local games
- Generic Trace Semantics and Graded Monads.
- Contextuality, Cohomology and Paradox
- An Operational Interpretation of Negative Probabilities and No-Signalling Models
This page was built for publication:
