Minimal classical logic and control operators (2003)

by Zena M Ariola, Hugo Herbelin
Venue:In Proc. ICALP ’03, volume 2719 of LNCS