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