Tsukadaand Asada. Linear-algebraic Models of Linear Logic as Categories of Modules over Sigma-semirings. 22 Apr. 2022.