`Travelled to:`

1 × Canada

1 × Hungary

1 × Norway

1 × Poland

1 × Portugal

`Collaborated with:`

∅ G.Ferreira M.H.Escardó T.Powell U.Martin E.A.Mathiesen

`Talks about:`

logic (3) interpret (2) function (2) linear (2) intuitionist (1) algorithm (1) polynomi (1) ineffect (1) abstract (1) product (1)

## Person: Paulo Oliva

### DBLP: Oliva:Paulo

### Contributed to:

### Wrote 5 papers:

- CSL-2011-EscardoOP
- System T and the Product of Selection Functions (MHE, PO, TP), pp. 233–247.
- CSL-2009-FerreiraO #functional #linear #logic
- Functional Interpretations of Intuitionistic Linear Logic (GF, PO), pp. 3–19.
- LICS-2007-Oliva #linear #logic
- Modified Realizability Interpretation of Classical Linear Logic (PO), pp. 431–442.
- CSL-2006-MartinMO #hoare #logic
- Hoare Logic in the Abstract (UM, EAM, PO), pp. 501–515.
- LICS-2003-Oliva #algorithm #effectiveness #polynomial #proving
- Polynomial-time Algorithms from Ineffective Proofs (PO), pp. 128–137.