Quantum Computation, Categorical Semantics and Linear Logic
Quantum Physics
2011-05-26 v5 Logic in Computer Science
High Energy Physics - Theory
Abstract
This preprint has been withdrawn.
Keywords
Cite
@article{arxiv.quant-ph/0312174,
title = {Quantum Computation, Categorical Semantics and Linear Logic},
author = {André van Tonder and Miquel Dorca},
journal= {arXiv preprint arXiv:quant-ph/0312174},
year = {2011}
}
Comments
Withdrawn: The construction of the category in section 5 contains a flaw that invalidates the assertion that Hilbert bundles provide a monoidal closed category