Publications

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

• Functional Interpretations of Intuitionistic Linear Logic
  Ferreira G Oliva P
  Computer Science Logic Coimbra, Portugal. vol. 5771, 3-19.  
  DOI 10.2168/LMCS-7(1:9)2011
  
  01-01-2009