| 2008 |
|---|
| 15 | EE | Mircea-Dan Hernest,
Paulo Oliva:
Hybrid Functional Interpretations.
CiE 2008: 251-260 |
| 14 | EE | Rob Arthan,
Ursula Martin,
Erik A. Mathiesen,
Paulo Oliva:
A General Framework for Sound and Complete Floyd-Hoare Logics
CoRR abs/0807.1016: (2008) |
| 13 | EE | Paulo Oliva,
Thomas Streicher:
On Krivine's Realizability Interpretation of Classical Second-Order Arithmetic.
Fundam. Inform. 84(2): 207-220 (2008) |
| 2007 |
|---|
| 12 | EE | Paulo Oliva:
Modified Realizability Interpretation of Classical Linear Logic.
LICS 2007: 431-442 |
| 11 | EE | Paulo Oliva:
Computational Interpretations of Classical Linear Logic.
WoLLIC 2007: 285-296 |
| 10 | EE | Fernando Ferreira,
Paulo Oliva:
Bounded functional interpretation and feasible analysis.
Ann. Pure Appl. Logic 145(2): 115-129 (2007) |
| 2006 |
|---|
| 9 | EE | Ursula Martin,
Erik A. Mathiesen,
Paulo Oliva:
Hoare Logic in the Abstract.
CSL 2006: 501-515 |
| 8 | EE | Paulo Oliva:
Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis.
CiE 2006: 423-434 |
| 7 | EE | Ulrich Berger,
Paulo Oliva:
Modified bar recursion.
Mathematical Structures in Computer Science 16(2): 163-183 (2006) |
| 2005 |
|---|
| 6 | EE | Paulo Oliva:
Unifying Functional Interpretations.
Mathematics, Algorithms, Proofs 2005 |
| 5 | EE | Fernando Ferreira,
Paulo Oliva:
Bounded functional interpretation.
Ann. Pure Appl. Logic 135(1-3): 73-112 (2005) |
| 2003 |
|---|
| 4 | EE | Paulo Oliva:
Polynomial-time Algorithms from Ineffective Proofs.
LICS 2003: 128-137 |
| 3 | EE | Ulrich Kohlenbach,
Paulo Oliva:
Proof mining in L1-approximation.
Ann. Pure Appl. Logic 121(1): 1-38 (2003) |
| 2002 |
|---|
| 2 | EE | Paulo Oliva:
On the Computational Complexity of Best L1-approximation.
Math. Log. Q. 48(S1): 66-77 (2002) |
| 1998 |
|---|
| 1 | | Eugene W. Myers,
Paulo Oliva,
Katia S. Guimarães:
Reporting Exact and Approximate Regular Expression Matches.
CPM 1998: 91-103 |
