Oliva, Paulo B.

• BRICS Report Series No. 14 (2001): RS-14 Effective Bounds on Strong Unicity in L1-Approximation - Articles
  Effective Bounds on Strong Unicity in L1-Approximation
  Abstract  PDF
• BRICS Report Series No. 14 (2002): RS-14 Modified Bar Recursion - Articles
  Modified Bar Recursion
  Abstract  PDF
• BRICS Report Series No. 31 (2002): RS-31 Proof Mining: A Systematic Way of Analysing Proofs in Mathematics - Articles
  Proof Mining: A Systematic Way of Analysing Proofs in Mathematics
  Abstract  PDF