Publications

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

• Bounded functional interpretation and feasible analysis
  Ferreira F Oliva P
  Ann Pure Appl Logic vol. 145 (2), 115-129.  
  DOI 10.1016/j.apal.2006.07.002
  
  01-02-2007
• Computational interpretations of classical linear logic
  Oliva P Leivant D DeQueiroz R
  Logic, Language, Information and Computation, Proceedings. vol. 4576, 285-296.  
  DOI 10.1007/978-3-540-73445-1_20
  
  01-01-2007
• Modified realizability interpretation of classical linear logic
  Oliva P
  22nd Annual IEEE Symposium on Logic in Computer Science, Proceedings., 431-440.  
  DOI 10.1109/LICS.2007.32
  
  01-01-2007
• Reasoning about linear systems
  Arthan R Martin U Mathiesen EA Oliva P Hinchey M Margaria T
  SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS., 123-132.  
  DOI 10.1109/sefm.2007.13
  
  01-01-2007