Functional interpretations of feasibly constructive arithmetic - Cook, Stephen; Urquhart, Alasdair (University <Toronto>, 1988)