TY  - RPRT
TI  - Computational interpretation of classical logic with explicit structural rules
AU  - Silvia Ghilezan
AU  - Pierre Lescanne
AU  - Dragisa Zunic
PY  - 2012
UR  - https://arxiv.org/abs/1203.4754
ID  - 1203.4754
ER  -