Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron. A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus.
DCM - 7th International Workshop on Developments of Computational Methods - 2011, Jul 2011, Zurich, Swaziland. pp.1-15,
⟨10.4204/EPTCS.88.1⟩.
⟨hal-00924926⟩