Simon J. Gay, Rajagopal Nagarajan. Types and typechecking for Communicating Quantum Processes. Mathematical Structures in Computer Science, 16(3):375-406, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.