Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory.

Romain Pchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev

Browse the full FOSSACS paper archive.