Publications

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

• A General Framework for Sound and Complete Floyd-Hoare Logics
  Arthan R Martin U Mathiesen EA Oliva P
  Acm Transactions on Computational Logic, 11(1), 2009 
  DOI 10.1145/1614431.1614438
  
  07-07-2008
• An analysis of Godel's 'Dialectica' interpretation via linear logic
  Oliva P
  Dialectica vol. 62 (2), 269-290.  
  DOI 10.1111/j.1746-8361.2008.01135.x
  
  01-01-2008
• Hybrid functional interpretations
  Hernest MD Oliva P Beckmann A Dimitracopoulos C Lowe B
  LOGIC AND THEORY OF ALGORITHMS. vol. 5028, 251-260.  
  DOI 10.1007/978-3-540-69407-6_29
  
  01-01-2008
• On Krivine's realizability interpretation of classical second-order arithmetic
  Oliva P Streicher T
  FUNDAMENTA INFORMATICAE. vol. 84 (2), 207-220.  
  DOI 10.3233/fun-2008-84204
  
  01-01-2008
• Session-Based Distributed Programming in Java
  HONDA K Hu R Yoshida N
  Proceedings of the 22nd European conference on Object-Oriented Programming (ECOOP '08). vol. 5142 (Lecture Notes in Computer Science), 516-541.  
  DOI 10.1007/978-3-540-70592-5_22
  
  01-01-2008