Hernest, Mircea-Dan

• BRICS Report Series No. 12 (2003): RS-12 A Complexity Analysis of Functional Interpretations. - Articles
  A Complexity Analysis of Functional Interpretations
  Abstract  PDF