Valiron, 2011. On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract) 270.. https://doi.org/10.1016/j.entcs.2011.01.011