Publications

...
• 2009
• 2008
• 2007
• 2006
• 2005
• 2004
• 2003
• 2002
...

• Bounded functional interpretation
  Ferreira F Oliva P
  Ann Pure Appl Logic vol. 135 (1-3), 73-112.  
  DOI 10.1016/j.apal.2004.11.001
  
  01-09-2005
• Modified bar recursion and classical dependent choice
  Berger U Oliva P Baaz M Friedman SD Krajicek J
  Logic Colloquim 01, Proceedings. vol. 20, 89-107.  
  01-01-2005