@misc{indiciaee7380787e911,
  title = {A lambda calculus for density matrices with classical and probabilistic controls},
  author = {Alejandro Díaz-Caro},
  year = {2017},
  doi = {10.1007/978-3-319-71237-6\_22},
  url = {https://arxiv.org/abs/1705.00097},
  note = {Source identifier: 1705.00097}
}