Published on Unknown

The relational model is injective for multiplicative exponential linear logic (without weakenings)

0
0
0