TY  - RPRT
TI  - An Abstract Approach to Stratification in Linear Logic
AU  - Pierre Boudes
AU  - Damiano Mazza
AU  - Lorenzo Tortora de Falco
PY  - 2013
DO  - 10.1016/j.ic.2014.10.006
UR  - https://arxiv.org/abs/1206.6504
ID  - 1206.6504
ER  -