Higher Semantics of Quantum Protocols

Jamie Vicary. Higher Semantics of Quantum Protocols. In Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012. pages 606-615, IEEE, 2012. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.