About Translations of Classical Logic into Polarized Linear Logic.

Olivier Laurent, Laurent Regnier

Browse the full LICS paper archive.