@article {IOPORT.06066148,
    author       = {Selinger, Peter},
    title        = {Finite dimensional Hilbert spaces are complete for dagger compact closed categories.},
    year         = {2012},
    journal      = {Logical Methods in Computer Science [electronic only]},
    volume       = {8},
    number       = {3},
    issn         = {1860-5974},
    pages        = {Paper No. 6, 12 p., electronic only},
    publisher    = {Logical Methods in Computer Science c/o Institute of Theoretical Computer Science, Technical University of Braunschweig, Braunschweig},
    doi          = {10.2168/LMCS-8(3:6)2012},
    abstract     = {Summary: 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.},
    identifier   = {06066148},
}