Publications

...
• 2015
• 2014
• 2013
• 2012
• 2011
• 2010
• 2009
• 2008
...

• System T and the product of selection functions
  Escardó M Oliva P Powell T
  Leibniz International Proceedings in Informatics Lipics. vol. 12, 233-247.  
  DOI 10.4230/LIPIcs.CSL.2011.233
  
  01-12-2011
• Sequential games and optimal strategies
  Escardo M Oliva P
  Proceedings of The Royal Society A vol. 467 (2130), 1519-1545.  
  DOI 10.1098/rspa.2010.0471
  
  08-06-2011
• A Hoare logic for linear systems
  Oliva P Arthan R Martin U
  Formal Aspects of Computing: Applicable Formal Methods, Springer London 
  DOI 10.1007/s00165-011-0180-9
  
  01-05-2011
• Functional interpretations of intuitionistic linear logic
  Oliva P Ferreira G
  Logical Methods in Computer Science, Institute of Theoretical Computer Science vol. 7 (1.9), 1-22.  
  DOI 10.2168/LMCS-7(1:9)2011
  
  01-03-2011
• On Various Negative Translations
  Electronic Proceedings in Theoretical Computer Science. vol. 47, 21-33.  
  DOI 10.4204/eptcs.47.4
  
  27-01-2011
• Safe Parallel Programming with Session Java
  Ng N Yoshida N Pernet O Hu R Kryftis Y
  Lecture Notes in Computer Science. vol. 6721, 110-126.  
  DOI 10.1007/978-3-642-21464-6_8
  
  01-01-2011