Reporting Exact and Approximate Regular Expression Matches. - Eugene W. Myers; Paulo Oliva; Katia S. Guimarães (CPM, 1998)

On the Computational Complexity of Best L1-approximation. - Paulo Oliva (Math. Log. Q., 2002)

Polynomial-time Algorithms from Ineffective Proofs. - Paulo Oliva (LICS, 2003)

Proof mining in L1-approximation. - Ulrich Kohlenbach; Paulo Oliva (Ann. Pure Appl. Log., 2003)

Bounded functional interpretation. - Fernando Ferreira 001; Paulo Oliva (Ann. Pure Appl. Log., 2005)

Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis. - Paulo Oliva (CiE, 2006)

Hoare Logic in the Abstract. - Ursula Martin; Erik Arne Mathiesen; Paulo Oliva (CSL, 2006)

Modified bar recursion. - Ulrich Berger 001; Paulo Oliva (Math. Struct. Comput. Sci., 2006)

Unifying Functional Interpretations. - Paulo Oliva (Notre Dame J. Formal Log., 2006)

Modified Realizability Interpretation of Classical Linear Logic. - Paulo Oliva (LICS, 2007)

Computational Interpretations of Classical Linear Logic. - Paulo Oliva (WoLLIC, 2007)

Bounded functional interpretation and feasible analysis. - Fernando Ferreira 001; Paulo Oliva (Ann. Pure Appl. Log., 2007)

Hybrid Functional Interpretations. - Mircea-Dan Hernest; Paulo Oliva (CiE, 2008)

On Krivine's Realizability Interpretation of Classical Second-Order Arithmetic. - Paulo Oliva; Thomas Streicher (Fundam. Informaticae, 2008)

A general framework for sound and complete Floyd-Hoare logics. - Rob Arthan; Ursula Martin; Erik Arne Mathiesen; Paulo Oliva (ACM Trans. Comput. Log., 2009)

Computational Interpretations of Analysis via Products of Selection Functions. - Martín Hötzel Escardó; Paulo Oliva (CiE, 2010)

The Peirce Translation and the Double Negation Shift. - Martín Hötzel Escardó; Paulo Oliva (CiE, 2010)

What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift Have in Common. - Martín Escardó; Paulo Oliva (MSFP@ICFP, 2010)

On Various Negative Translations - Gilda Ferreira; Paulo Oliva (CL&C, 2010)

Functional interpretations of linear and intuitionistic logic. - Paulo Oliva (Inf. Comput., 2010)

Confined modified realizability. - Gilda Ferreira; Paulo Oliva (Math. Log. Q., 2010)

Proof interpretations with truth. - Jaime Gaspar; Paulo Oliva (Math. Log. Q., 2010)

Selection functions, bar recursion and backward induction. - Martín Hötzel Escardó; Paulo Oliva (Math. Struct. Comput. Sci., 2010)

System T and the Product of Selection Functions. - Martín Hötzel Escardó; Paulo Oliva; Thomas Powell 001 (CSL, 2011)

Functional Interpretations of Intuitionistic Linear Logic - Gilda Ferreira; Paulo Oliva (Log. Methods Comput. Sci., 2011)

Computing Nash Equilibria of Unbounded Games. - Martín Hötzel Escardó; Paulo Oliva (Turing-100, 2012)

The Peirce translation. - Martín Hötzel Escardó; Paulo Oliva (Ann. Pure Appl. Log., 2012)

On bounded functional interpretations. - Gilda Ferreira; Paulo Oliva (Ann. Pure Appl. Log., 2012)

A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis - Paulo Oliva; Thomas Powell 001 (CoRR, 2012)

Hybrid Functional Interpretations of Linear and Intuitionistic Logic. - Paulo Oliva (J. Log. Comput., 2012)

On Spector's bar recursion. - Paulo Oliva; Thomas Powell 001 (Math. Log. Q., 2012)

(Dual) Hoops Have Unique Halving. - Rob Arthan; Paulo Oliva (Automated Reasoning and Mathematics, 2013)

A Hoare logic for linear systems. - Rob Arthan; Ursula Martin; Paulo Oliva (Formal Aspects Comput., 2013)

Proving termination of programs having transition invariants of height ω. - Stefano Berardi; Paulo Oliva; Silvia Steila (ICTCS, 2014)

On Affine Logic and Łukasiewicz Logic. - Rob Arthan; Paulo Oliva (CoRR, 2014)

On Pocrims and Hoops. - Rob Arthan; Paulo Oliva (CoRR, 2014)

Proving termination with transition invariants of height omega. - Stefano Berardi; Paulo Oliva; Silvia Steila (CoRR, 2014)

A Higher-order Framework for Decision Problems and Games. - Jules Hedges; Paulo Oliva; Evguenia Winschel; Viktor Winschel; Philipp Zahn (CoRR, 2014)

Unifying Functional Interpretations: Past and Future. - Paulo Oliva (CoRR, 2014)

Higher-Order Game Theory. - Jules Hedges; Paulo Oliva; Evguenia Sprits; Viktor Winschel; Philipp Zahn (CoRR, 2015)

Bar Recursion and Products of Selection Functions. - Martín Escardó; Paulo Oliva (J. Symb. Log., 2015)

A constructive interpretation of Ramsey's theorem via the product of selection functions. - Paulo Oliva; Thomas Powell 001 (Math. Struct. Comput. Sci., 2015)

Higher-Order Decision Theory. - Jules Hedges; Paulo Oliva; Evguenia Shprits; Viktor Winschel; Philipp Zahn (ADT, 2017)

Selection Equilibria of Higher-Order Games. - Jules Hedges; Paulo Oliva; Evguenia Shprits; Viktor Winschel; Philipp Zahn (PADL, 2017)

Bar recursion over finite partial functions. - Paulo Oliva; Thomas Powell 001 (Ann. Pure Appl. Log., 2017)

The Herbrand Functional Interpretation of the double Negation Shift. - Martín Escardó; Paulo Oliva (J. Symb. Log., 2017)

Buying Online - A Characterization of Rational Buying Procedures. - Paulo Oliva; Philipp Zahn (CoRR, 2018)

A Curry-Howard Correspondence for the Minimal Fragment of Łukasiewicz Logic. - Rob Arthan; Paulo Oliva (CoRR, 2018)

A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem. - Paulo Oliva; Silvia Steila (J. Symb. Log., 2018)

Studying Algebraic Structures using Prover9 and Mace4. - Rob Arthan; Paulo Oliva (CoRR, 2019)

Negative Translations for Affine and Lukasiewicz Logic. - Rob Arthan; Paulo Oliva (CoRR, 2019)

An analysis of the Podelski-Rybalchenko termination theorem via bar recursion. - Stefano Berardi; Paulo Oliva; Silvia Steila (J. Log. Comput., 2019)

On the Herbrand functional interpretation. - Paulo Oliva; Chuangjie Xu (Math. Log. Q., 2020)

A parametrised functional interpretation of Heyting arithmetic. - Bruno Dinis; Paulo Oliva (Ann. Pure Appl. Log., 2021)

On Rational Choice and the Representation of Decision Problems. - Paulo Oliva; Philipp Zahn (Games, 2021)

On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem. - Rob Arthan; Paulo Oliva (J. Log. Anal., 2021)

Double Negation Semantics for Generalisations of Heyting Algebras. - Rob Arthan; Paulo Oliva (Stud Logica, 2021)

Kripke Semantics for Intuitionistic Łukasiewicz Logic. - A. Lewis-Smith; Paulo Oliva; Edmund Robinson (Stud Logica, 2021)

Higher-order games with dependent types. - Martín Escardó; Paulo Oliva (Theor. Comput. Sci., 2023)

Uniform Functional Interpretations. - Paulo Oliva (CiE, 2025)