Die Sup-Verknüpfung in IMALL: Eine kategorielle Semantik

Die Arbeit präsentiert eine abstrakte kategorielle Charakterisierung einer Beweissprache für IMALL, die die Sup-Verknüpfung enthält, welche additive Paare mit einer probabilistischen Elimination sowie Summen und Skalarmultiplikationen innerhalb der Beweisterme einführt.