Consuming and Persistent Types for Classical Logic.

Delia Kesner, Pierre Vial

Browse the full LICS paper archive.