Quantum Computation, Categorical Semantics and Linear Logic

Abstract

This preprint has been withdrawn.

Withdrawn: The construction of the category in section 5 contains a flaw that invalidates the assertion that Hilbert bundles provide a monoidal closed category

References in corpus (4)

• A Lambda Calculus for Quantum Computation
• An Extension of Gleason's Theorem for Quantum Computation
• Quantum Domain Theory - Definitions and Applications
• Toward a Quantum Process Algebra

Cited by in corpus (12)

• Physics, Topology, Logic and Computation: A Rosetta Stone
• A Lambda Calculus for Quantum Computation
• Quantum Software Engineering: Landscapes and Horizons
• An Algebra of Pure Quantum Programming
• Lineal: A linear-algebraic Lambda-calculus
• High-Level Methods for Quantum Computation and Information
• An Extension of Gleason's Theorem for Quantum Computation
• Linear-algebraic lambda-calculus
• Proof rules for purely quantum programs
• Structuring quantum effects: superoperators as arrows
• The dagger lambda calculus
• An extended quantum process algebra (eQPAlg) approach for distributed quantum systems