Reasoning about Entanglement and Separability in Quantum Higher-Order Functions

@inproceedings{Prost2009ReasoningAE,
  title={Reasoning about Entanglement and Separability in Quantum Higher-Order Functions},
  author={Fr{\'e}d{\'e}ric Prost and Chaouki Zerrari},
  booktitle={UC},
  year={2009}
}
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of aliasing for imperative functional programs. Both analyses share similarities notably because they are highly non-compositional. Nevertheless, the intrisic non determinism of quantum… CONTINUE READING