Skip to main content

Higher Semantics for Quantum Protocols

Jamie Vicary

ISSN
1043−6871
Journal
Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science
Pages
606−615
Year
2012