TY  - RPRT
TI  - Observational equivalences for linear logic CC languages
AU  - Rémy Haemmerlé
PY  - 2011
DO  - 10.1017/s1471068411000123
UR  - https://arxiv.org/abs/1108.0329
ID  - 1108.0329
ER  -