Quantum patterns and types for entanglement and separability. (English) Zbl 1277.68066
Selinger, Peter (ed.), Proceedings of the 3rd international workshop on quantum programming languages (QPL 2005), DePaul University, Chicago, IL, USA, June 30 – July 1, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 170, 125-138 (2007).