TY  - RPRT
TI  - A semantic account of strong normalization in Linear Logic
AU  - Daniel de Carvalho
AU  - Lorenzo Tortora de Falco
PY  - 2014
UR  - https://arxiv.org/abs/1304.6762
ID  - 1304.6762
ER  -