Quantum Computation, Categorical Semantics and Linear Logic

@article{Tonder2003QuantumCC,
  title={Quantum Computation, Categorical Semantics and Linear Logic},
  author={Andr'e van Tonder and Miquel Dorca},
  journal={CoRR},
  year={2003},
  volume={quant-ph/0312174}
}
We develop a type theory and provide a denotational semantics for a simple fragment of the quantum lambda calculus, a formal language for quantum computation based on linear logic. In our semantics, variables inhabit certain Hilbert bundles, and computations are interpreted as the appropriate inner product preserving maps between Hilbert bundles. These bundles and maps form a symmetric monoidal closed category, as expected for a calculus based on linear logic. 
Highly Cited
This paper has 33 citations. REVIEW CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
21 Extracted Citations
26 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 26 references

Quantum programming

  • J. W. Sanders, P. Zuliani
  • Mathematics of Program Construction, Springer…
  • 2000
1 Excerpt

Foundations of programming languages, MIT press

  • J. C. Mitchell
  • 1996
1 Excerpt

Similar Papers

Loading similar papers…