Alejandro Díaz-Caro, Gilles Dowek, Juan Pablo Rinaldi. Two linearities for quantum computing in the lambda calculus. Biosystems, 186, 2019. [doi]
@article{Diaz-CaroDR19,
title = {Two linearities for quantum computing in the lambda calculus},
author = {Alejandro Díaz-Caro and Gilles Dowek and Juan Pablo Rinaldi},
year = {2019},
doi = {10.1016/j.biosystems.2019.104012},
url = {https://doi.org/10.1016/j.biosystems.2019.104012},
researchr = {https://researchr.org/publication/Diaz-CaroDR19},
cites = {0},
citedby = {0},
journal = {Biosystems},
volume = {186},
}