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

Cached

Download Links

by Franco Barbanera , Stefano Berardi
Venue:In Bezem and Groote [12
Citations:32 - 1 self