Multiplexor Categories and Models of Soft Linear Logic (Q5434527)
From MaRDI portal
scientific article; zbMATH DE number 5223591
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Multiplexor Categories and Models of Soft Linear Logic |
scientific article; zbMATH DE number 5223591 |
Statements
Multiplexor Categories and Models of Soft Linear Logic (English)
0 references
4 January 2008
0 references
Categorical semantics
0 references
Soft Linear Logic
0 references
Polynomial time
0 references
Game semantics
0 references
