Computational interpretation of classical logic with explicit structural rules

Silvia Ghilezan Pierre Lescanne Dragisa Zunic Computational interpretation of classical logic with explicit structural rules http://arxiv.org/abs/1203.4754 2012 CoRR abs/1203.4754 db/journals/corr/corr1203.html#abs-1203-4754