Publications

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

• Parameterised Multiparty Session Types
  Denielou P-M, Yoshida N, Bejleri A and Hu R
  Logical Methods in Computer Science, Centre Pour La Communication Scientifique Directe (Ccsd) vol. Volume 8, Issue 4 
  DOI 10.2168/lmcs-8(4:6)2012
  
  11-10-2012
• On bounded functional interpretations
  Ferreira G and Oliva P
  Annals of Pure and Applied Logic vol. 163 (8), 1030-1049.  
  DOI 10.1016/j.apal.2011.12.025
  
  01-01-2012
• On Spector's bar recursion
  Oliva P and Powell T
  Mathematical Logic Quarterly vol. 58 (4-5) 
  DOI 10.1002/malq.201100106
  
  01-01-2012
• The Peirce translation
  Escardo M and Oliva P
  Annals of Pure and Applied Logic vol. 163 (6), 681-692.  
  DOI 10.1016/j.apal.2011.11.002
  
  01-01-2012