TY  - RPRT
TI  - A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus
AU  - Pablo Arrighi
AU  - Alejandro Díaz-Caro
AU  - Benoît Valiron
PY  - 2012
DO  - 10.4204/eptcs.88.1
UR  - https://arxiv.org/abs/1012.4032
ID  - 1012.4032
ER  -