High-Level Methods for Quantum Computation and Quantum Information. Pleanary talk at 19th Annual (0)

by S Abramsky
Venue:IEEE Symposium on Logic in Computer Science (LiCS’04). Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Science