An extended abstract of an earlier version of this paper has appeared in [ADC11]; International audience; The Algebraic lambda-calculus and the Linear-Algebraic lambda-calculus extend the lambda-calculus with the possibility of making arbitrary linear combinations of te... View more
 Altenkirch, T., Grattage, J. J., June 2005. A functional quantum programming language. In: LICS 2005. IEEE Computer Society, Chicago, IL, USA, pp. 249-258.
 Arrighi, P., Dowek, G., March 2004. A computational definition of the notion of vectorial space. In: Mart´ı-Oliet, N. (Ed.), WRLA 2004. Vol. 117 of Electronic Notes in Theoretical Computer Science. Elsevier, Barcelona, Spain, pp. 249-261.
 Arrighi, P., Dowek, G., July 2008. Linear-algebraic lambda-calculus: higher-order, encodings, and confluence. In: Voronkov, A. (Ed.), RTA 2008. Vol. 5117 of Lecture Notes in Computer Science. Springer, Hagenberg, Austria, pp. 17-31.