TY  - RPRT
TI  - Linear-Algebraic Models of Linear Logic as Categories of Modules over Sigma-Semirings
AU  - Takeshi Tsukada
AU  - Kazuyuki Asada
PY  - 2022
UR  - https://arxiv.org/abs/2204.10589
ID  - 2204.10589
ER  -