Functional Interpretations of Feasibly Constructive Arithmetic (Extended Abstract)

Stephen A. Cook, Alasdair Urquhart

Browse the full STOC paper archive.