S. Abramsky, Computational interpretations of linear logic, Theoretical Computer Science, vol.111, issue.1-2, pp.3-57, 1993.
DOI : 10.1016/0304-3975(93)90181-R
URL : https://doi.org/10.1016/0304-3975(93)90181-r

T. Altenkirch and J. Grattage, A Functional Quantum Programming Language, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), pp.249-258, 2005.
DOI : 10.1109/LICS.2005.1
URL : http://sneezy.cs.nott.ac.uk/qml/compiler/jjg-thesis.pdf

P. Arrighi and A. Díaz-caro, A System F accounting for scalars, Logical Methods in Computer Science, vol.19, issue.5, p.11, 2012.
DOI : 10.1017/S0960129509990089
URL : https://hal.archives-ouvertes.fr/hal-00924944

P. Arrighi, A. Díaz-caro, and B. Valiron, The vectorial ?? -calculus, Information and Computation, vol.254, issue.1, pp.105-139, 2017.
DOI : 10.1016/j.ic.2017.04.001
URL : https://hal.archives-ouvertes.fr/hal-00921087

P. Arrighi and G. Dowek, Lineal: A linear-algebraic lambda-calculus, Logical Methods in Computer Science, vol.131, p.8, 2017.
URL : https://hal.archives-ouvertes.fr/hal-00919625

A. Assaf, A. Díaz-caro, S. Perdrix, C. Tasson, and B. Valiron, Call-by-value, call-byname and the vectorial behaviour of the algebraic ?-calculus, Logical Methods in Computer Science, vol.10, issue.4, p.8, 2014.

A. Barber, Dual intuitionistic linear logic, 1996.

A. Díaz-caro and B. Petit, Linearity in the Non-deterministic Call-by-Value Setting, Proceedings of WoLLIC 2012, pp.216-231, 2012.
DOI : 10.1007/978-3-642-32621-9_16

J. Y. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

A. S. Green, P. L. Lumsdaine, N. J. Ross, P. Selinger, and B. Valiron, Quipper: a scalable quantum programming language, ACM SIGPLAN Notices (PLDI'13), pp.333-342, 2013.

M. Pagani, P. Selinger, and B. Valiron, Applying quantitative semantics to higherorder quantum computing, ACM SIGPLAN Notices (POPL'14), pp.647-658, 2014.
DOI : 10.1145/2535838.2535879
URL : http://www.monoidal.net/papers/qcpm-draft.pdf

G. E. Peterson and M. E. Stickel, Complete Sets of Reductions for Some Equational Theories, Journal of the ACM, vol.28, issue.2, pp.233-264, 1981.
DOI : 10.1145/322248.322251

P. Selinger and B. Valiron, Quantum Lambda Calculus, Semantic Techniques in Quantum Computation, pp.135-172, 2009.
DOI : 10.1017/CBO9781139193313.005
URL : https://hal.archives-ouvertes.fr/hal-00483924

M. Zorzi, On quantum lambda calculi: a foundational perspective, Mathematical Structures in Computer Science, vol.14, issue.07, pp.1107-1195, 2016.
DOI : 10.1007/978-3-662-44145-9_1