scientific article; zbMATH DE number 7204369
From MaRDI portal
Publication:5111249
DOI10.4230/LIPICS.MFCS.2017.35zbMATH Open1441.68055arXiv1705.07310MaRDI QIDQ5111249FDOQ5111249
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 of this publication is not available (Why is that?)
Applications of game theory (91A80) Quantum algorithms and complexity in the theory of computing (68Q12) Quantum computation (81P68) Eilenberg-Moore and Kleisli constructions for monads (18C20) Applications of universal algebra in computer science (08A70)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the quantum chromatic number of a graph
- Quantum homomorphisms
- Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
- Categorical quantum mechanics
- 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
- Analysis of Boolean Functions
- Characterization of Binary Constraint System Games
- Elements of finite model theory.
- Conjunctive-query containment and constraint satisfaction
- Monads on symmetric monoidal closed categories
- Convexity, Duality and Effects
- The Cohomology of Non-Locality and Contextuality
- Contextuality, Cohomology and Paradox
- Bell-Kochen-Specker theorem: a proof with \(18\) vectors.
- An Operational Interpretation of Negative Probabilities and No-Signalling Models
- Brownian local minima, random dense countable sets and random equivalence classes
- Notes on joint measurability of quantum observables
- Tsirelson’s problem and an embedding theorem for groups arising from non-local games
- Quantum and non-signalling graph isomorphisms
- Algebras, synchronous games, and chromatic numbers of graphs
- Generic Trace Semantics and Graded Monads.
- Perfect commuting-operator strategies for linear system games
Cited In (11)
- Partially ordered fuzzy power set monads on the category of L-sets and their associated categories of topological space objects
- Relating Structure and Power: Comonadic Semantics for Computational Resources
- Game comonads \& generalised quantifiers
- Closing Bell boxing black box simulations in the resource theory of contextuality
- Categories of Empirical Models
- The sheaf-theoretic structure of definite causality
- A complete characterization of all-versus-nothing arguments for stabilizer states
- Continuous-variable nonlocality and contextuality
- Title not available (Why is that?)
- Quantum extensions of ordinary maps
- Quantum sets
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111249)
