A categorical model of predicate linear logic

Vorschau:

Wir verwenden Dateien durch die Cookie-Qualitätsverbesserungsschicht unserer Website. Für weitere Informationen, lesen Sie bitte das Dokument