Publications

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

• Unifying Functional Interpretations
  Oliva P
  Notre Dame Journal of Formal Logic vol. 47 (2), 263-290.  
  DOI 10.1305/ndjfl/1153858651
  
  01-07-2006
• Modified bar recursion
  Berger U Oliva P
  Math Struct Comp Sci vol. 16 (2), 163-183.  
  DOI 10.1017/S0960129506005093
  
  01-04-2006
• Hoare logic in the abstract
  Martin U Mathiesen EA Oliva P Esik Z
  COMPUTER SCIENCE LOGIC, PROCEEDINGS. vol. 4207, 501-515.  
  DOI 10.1007/11874683_33
  
  01-01-2006
• Understanding and using Spector's bar recursive interpretation of classical analysis
  Oliva P Beckmann A Berger U Lowe B Tucker JV
  LOGICAL APPROACHES TO COMPUTATIONAL BARRIERS, PROCEEDINGS. vol. 3988, 423-434.  
  DOI 10.1007/11780342_44
  
  01-01-2006