A formulae-as-type notion of control: classical logic and call/cc in Schemedl.acm.org2 pointsfanf2a year ago