The Work Functional Interpretations of Feasibly Constructive Arithmetic The details The Author Alasdair Urquhart The offers