Minimal Classical Logic and Control Operators.

Zena M. Ariola, Hugo Herbelin

Browse the full ICALP paper archive.