Extracting constructive content from classical logic via control-like reductions (1993)

by F Barbanera, S Berardi
Venue:In Proc. Int. Conf. on Typed Lambda Calculi and Applications, volume LNCS 664