TY  - RPRT
TI  - Homotopy linear algebra
AU  - Imma Gálvez-Carrillo
AU  - Joachim Kock
AU  - Andrew Tonks
PY  - 2017
DO  - 10.1017/s0308210517000208
UR  - https://arxiv.org/abs/1602.05082
ID  - 1602.05082
ER  -