Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱.

Takeshi Tsukada, Kazuyuki Asada

Browse the full LICS paper archive.