TY  - RPRT
TI  - Typing Tensor Calculus in 2-Categories (I)
AU  - Fatimah Rita Ahmadi
PY  - 2025
DO  - 10.1016/j.scico.2025.103376
UR  - https://arxiv.org/abs/1908.01212
ID  - 1908.01212
ER  -