Quantum Computation, Categorical Semantics and Linear Logic
量子物理
2011-05-26 v5 计算机科学中的逻辑
高能物理 - 理论
摘要
This preprint has been withdrawn.
引用
@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}
}
备注
Withdrawn: The construction of the category in section 5 contains a flaw that invalidates the assertion that Hilbert bundles provide a monoidal closed category