TY  - RPRT
TI  - A computational definition of the notion of vectorial space
AU  - Pablo Arrighi
AU  - Gilles Dowek
PY  - 2009
UR  - https://arxiv.org/abs/0911.4051
ID  - 0911.4051
ER  -