TY  - RPRT
TI  - A logical analysis of entanglement and separability in quantum higher-order functions
AU  - F. Prost
AU  - C. Zerrari
PY  - 2008
DO  - 10.1007/978-3-642-03745-0_25
UR  - https://arxiv.org/abs/0801.0649
ID  - 0801.0649
ER  -