Two linearities for quantum computing in the lambda calculus

Alejandro Díaz-Caro, Gilles Dowek, Juan Pablo Rinaldi. Two linearities for quantum computing in the lambda calculus. Biosystems, 186, 2019. [doi]

Abstract

Abstract is missing.