BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Oliva:Paulo

Contributed to:

CSL 20112011
CSL 20092009
LICS 20072007
CSL 20062006
LICS 20032003

Wrote 5 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.