Valiron. On Quantum and Probabilistic Linear Lambda-calculi (extended Abstract). Elsevier BV, 2011, doi:10.1016/j.entcs.2011.01.011.