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:
20112009
200720062003Wrote 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.