@misc{indiciae4966d60068d0,
  title = {Typing linear algebra: A biproduct-oriented approach},
  author = {Hugo Daniel Macedo and José N. Oliveira},
  year = {2013},
  url = {https://arxiv.org/abs/1312.4818},
  note = {Source identifier: 1312.4818}
}