About Translations of Classical Logic into Polarized Linear Logic.

Olivier Laurent Laurent Regnier About Translations of Classical Logic into Polarized Linear Logic. 11-20 2003 conf/lics/2003 LICS http://csdl.computer.org/comp/proceedings/lics/2003/1884/00/18840011abs.htm db/conf/lics/lics2003.html#LaurentR03