Two linearities for quantum computing in the lambda calculus. - Alejandro Díaz-Caro; Gilles Dowek; Juan Pablo Rinaldi (Biosyst., 2019)