TY  - RPRT
TI  - Typing linear algebra: A biproduct-oriented approach
AU  - Hugo Daniel Macedo
AU  - José N. Oliveira
PY  - 2013
UR  - https://arxiv.org/abs/1312.4818
ID  - 1312.4818
ER  -