Linear-algebraische Modelle der linearen Logik als Kategorien von Modulen über Sigma-Halbringen