@misc{indiciaed6a3287e46d1,
  title = {Holistic type extension for classical propositional logic in quantum computation},
  author = {H. Freytes and R. Giuntini and G. Sergioli},
  year = {2019},
  url = {https://arxiv.org/abs/1904.04561},
  note = {Source identifier: 1904.04561}
}