The relational model is injective for multiplicative exponential linear logic (without weakenings) (Q435194)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The relational model is injective for multiplicative exponential linear logic (without weakenings) |
scientific article |
Statements
The relational model is injective for multiplicative exponential linear logic (without weakenings) (English)
0 references
11 July 2012
0 references