@misc{indiciae52f08b93b3c7,
  title = {A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus},
  author = {Pablo Arrighi and Alejandro Díaz-Caro and Benoît Valiron},
  year = {2012},
  doi = {10.4204/eptcs.88.1},
  url = {https://arxiv.org/abs/1012.4032},
  note = {Source identifier: 1012.4032}
}