TY  - RPRT
TI  - The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings)
AU  - Daniel de Carvalho
AU  - Lorenzo Tortora de Falco
PY  - 2011
UR  - https://arxiv.org/abs/1002.3131
ID  - 1002.3131
ER  -