Publications

 
  • Proof interpretations with truth
    Gaspar J Oliva P
    Math Logic Quart vol. 56 (6), 591-610.  
    01-12-2010
  • What sequential games, the Tychnoff theorem and the double-negation shift have in common
    Escardó M Oliva P
    Mathematically Structured Functional Programming. 
    01-08-2010
  • Functional interpretations of linear and intuitionistic logic
    Oliva P
    INFORMATION AND COMPUTATION. vol. 208 (5), 565-577.  
    01-05-2010
  • Selection functions, bar recursion and backward induction
    Escardo M Oliva P
    Domains IX Brighton, UK 22 Sep 2008 - 24 Sep 2008. vol. 20 (2), 127-168.  
    01-04-2010
  • Functional Interpretations of Intuitionistic Linear Logic
    Oliva P
    Journal of Logic and Computation, Oxford Journals 
    09-02-2010
  • Session-Based Programming for Parallel Algorithms: Expressiveness and Performance
    Bejleri A Hu R Yoshida N
    Electronic Proceedings in Theoretical Computer Science. vol. 17, 17-29.  
    06-02-2010
  • Computational interpretations of analysis via products of selection functions
    Escardó M Oliva P
    Computability in Europe Azores. vol. 6158, 141-150.  
    01-01-2010
  • Confined modified realizability
    Ferreira G Oliva P
    Mathematical Logic Quarterly vol. 56 (1), 13-28.  
    01-01-2010
  • Hybrid functional interpretations of linear and intuitionistic logic
    Oliva P
    Journal of Logic and Computation, Oxford Journals vol. 22 (2), 305-328.  
    01-01-2010
  • Parameterised Multiparty Session Types
    Yoshida N Deniélou P-M Bejleri A Hu R
    Lecture Notes in Computer Science. vol. 6014, 128-145.  
    01-01-2010
  • The Peirce translation and the double negation shift
    Escardó M Oliva P
    Computability in Europe Azores. (6158), 151-161.  
    01-01-2010