Polarizing Double-Negation Translations.

Mlanie Boudard, Olivier Hermant

Browse the full LPAR paper archive.