We show that an equation follows from the axioms of dagger compact closed categories if and only if it holds in finite dimensional Hilbert spaces. © P. Selinger.
CITATION STYLE
Selinger, P. (2012). Finite dimensional Hilbert spaces are complete for dagger compact closed categories. Logical Methods in Computer Science, 8(3), 7. https://doi.org/10.2168/lmcs-8(3:6)2012
Mendeley helps you to discover research relevant for your work.