The quantum monad on relational structures

Homomorphisms between relational structures play a central role in finite model theory, constraint satisfaction, and database theory. A central theme in quantum computation is to show how quantum resources can be used to gain advantage in information processing tasks. In particular, non-local games...

Full description

Bibliographic Details
Main Authors: Abramsky, S, Barbosa, RS, de Silva, N, Zapata, O
Format: Conference item
Published: Schloss Dagstuhl – Leibniz Center for Informatics 2017