TY  - RPRT
TI  - Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
AU  - Romain Péchoux
AU  - Simon Perdrix
AU  - Mathys Rennela
AU  - Vladimir Zamdzhiev
PY  - 2019
DO  - 10.1007/978-3-030-45231-5_29
UR  - https://arxiv.org/abs/1910.09633
ID  - 1910.09633
ER  -