# [quant-ph/0312174] Quantum Computation, Categorical Semantics and Linear Logic

[quant-ph/0312174] Quantum Computation, Categorical Semantics and Linear Logic

A follow-on paper. From the abstract: “In our semantics, terms 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 c