High−Level Methods for Quantum Computation and Information
S. Abramsky
Book Title
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science: LICS 2004
Pages
410−414
Publisher
IEEE Computer Society
Year
2004
S. Abramsky