A logical analysis of entanglement and separability in quantum higher-order functions - Frédéric Prost; Chaouki Zerrari (CoRR, 2008)

Reasoning about Entanglement and Separability in Quantum Higher-Order Functions. - Frédéric Prost; Chaouki Zerrari (UC, 2009)