@misc{indiciaedfcca33f31db,
  title = {Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory},
  author = {Romain Péchoux and Simon Perdrix and Mathys Rennela and Vladimir Zamdzhiev},
  year = {2019},
  doi = {10.1007/978-3-030-45231-5\_29},
  url = {https://arxiv.org/abs/1910.09633},
  note = {Source identifier: 1910.09633}
}