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

Romain Péchoux et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics