Paulo Oliva

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 22

Top Topics

Decision Problems

Top Venues

Ann. Pure Appl. Log.

Math. Struct. Comput. Sci.

Publications

Martín Escardó, Paulo Oliva
Higher-order games with dependent types. Theor. Comput. Sci. 974 (2023)
Martín Escardó, Paulo Oliva
Higher-order Games with Dependent Types. CoRR (2022)
Bruno Dinis, Paulo Oliva
A parametrised functional interpretation of Heyting arithmetic. Ann. Pure Appl. Log. 172 (4) (2021)
Paulo Oliva, Philipp Zahn
On Rational Choice and the Representation of Decision Problems. Games 12 (4) (2021)
Rob Arthan, Paulo Oliva
On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem. J. Log. Anal. 13 (2021)
Rob Arthan, Paulo Oliva
Double Negation Semantics for Generalisations of Heyting Algebras. Stud Logica 109 (2) (2021)
Paulo Oliva, Chuangjie Xu
On the Herbrand functional interpretation. Math. Log. Q. 66 (1) (2020)
Stefano Berardi, Paulo Oliva, Silvia Steila
An analysis of the Podelski-Rybalchenko termination theorem via bar recursion. J. Log. Comput. 29 (4) (2019)
Paulo Oliva, Chuangjie Xu
On the Herbrand Functional Interpretation. CoRR (2019)
Rob Arthan, Paulo Oliva
Negative Translations for Affine and Lukasiewicz Logic. CoRR (2019)
Rob Arthan, Paulo Oliva
Studying Algebraic Structures using Prover9 and Mace4. CoRR (2019)
Paulo Oliva, Silvia Steila
A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem. J. Symb. Log. 83 (1) (2018)
Rob Arthan, Paulo Oliva
A Curry-Howard Correspondence for the Minimal Fragment of Łukasiewicz Logic. CoRR (2018)
Paulo Oliva, Philipp Zahn
Buying Online - A Characterization of Rational Buying Procedures. CoRR (2018)
Jules Hedges, Paulo Oliva, Evguenia Shprits, Viktor Winschel, Philipp Zahn
Higher-Order Decision Theory. ADT (2017)
Martín Escardó, Paulo Oliva
The Herbrand Functional Interpretation of the double Negation Shift. J. Symb. Log. 82 (2) (2017)
Paulo Oliva, Thomas Powell
Bar recursion over finite partial functions. Ann. Pure Appl. Log. 168 (5) (2017)
Jules Hedges, Paulo Oliva, Evguenia Shprits, Viktor Winschel, Philipp Zahn
Selection Equilibria of Higher-Order Games. PADL (2017)
Paulo Oliva, Thomas Powell
A constructive interpretation of Ramsey's theorem via the product of selection functions. Math. Struct. Comput. Sci. 25 (8) (2015)
Jules Hedges, Paulo Oliva, Evguenia Sprits, Viktor Winschel, Philipp Zahn
Higher-Order Decision Theory. CoRR (2015)
Martín Escardó, Paulo Oliva
Bar Recursion and Products of Selection Functions. J. Symb. Log. 80 (1) (2015)
Jules Hedges, Paulo Oliva, Evguenia Sprits, Viktor Winschel, Philipp Zahn
Higher-Order Game Theory. CoRR (2015)
Rob Arthan, Paulo Oliva
On Pocrims and Hoops. CoRR (2014)
Martín Hötzel Escardó, Paulo Oliva
The Herbrand Functional Interpretation of the Double Negation Shift. CoRR (2014)
Rob Arthan, Paulo Oliva
On Affine Logic and Łukasiewicz Logic. CoRR (2014)
Martín Hötzel Escardó, Paulo Oliva
Bar Recursion and Products of Selection Functions. CoRR (2014)
Jules Hedges, Paulo Oliva, Evguenia Winschel, Viktor Winschel, Philipp Zahn
A Higher-order Framework for Decision Problems and Games. CoRR (2014)
Paulo Oliva
Unifying Functional Interpretations: Past and Future. CoRR (2014)
Paulo Oliva, Thomas Powell
Bar recursion over finite partial functions. CoRR (2014)
Stefano Berardi, Paulo Oliva, Silvia Steila
Proving termination of programs having transition invariants of height ω. ICTCS (2014)
Stefano Berardi, Paulo Oliva, Silvia Steila
Proving termination with transition invariants of height omega. CoRR (2014)
Rob Arthan, Paulo Oliva
(Dual) Hoops Have Unique Halving. Automated Reasoning and Mathematics (2013)
Rob Arthan, Ursula Martin, Paulo Oliva
A Hoare logic for linear systems. Formal Aspects Comput. 25 (3) (2013)
Paulo Oliva, Thomas Powell
A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis CoRR (2012)
Paulo Oliva
Hybrid Functional Interpretations of Linear and Intuitionistic Logic. J. Log. Comput. 22 (2) (2012)
Paulo Oliva, Thomas Powell
On Spector's bar recursion. Math. Log. Q. 58 (4-5) (2012)
Martín Hötzel Escardó, Paulo Oliva
The Peirce translation. Ann. Pure Appl. Log. 163 (6) (2012)
Rob Arthan, Paulo Oliva
(Dual) Hoops Have Unique Halving CoRR (2012)
Martín Hötzel Escardó, Paulo Oliva
Computing Nash Equilibria of Unbounded Games. Turing-100 (2012)
Paulo Oliva, Thomas Powell
A Constructive Interpretation of Ramsey's Theorem via the Product of Selection Functions CoRR (2012)
Gilda Ferreira, Paulo Oliva
On bounded functional interpretations. Ann. Pure Appl. Log. 163 (8) (2012)
Martín Hötzel Escardó, Paulo Oliva, Thomas Powell
System T and the Product of Selection Functions. CSL (2011)
Gilda Ferreira, Paulo Oliva
Functional Interpretations of Intuitionistic Linear Logic Log. Methods Comput. Sci. 7 (1) (2011)
Paulo Oliva
Functional interpretations of linear and intuitionistic logic. Inf. Comput. 208 (5) (2010)
Martín Hötzel Escardó, Paulo Oliva
The Peirce Translation and the Double Negation Shift. CiE (2010)
Gilda Ferreira, Paulo Oliva
Confined modified realizability. Math. Log. Q. 56 (1) (2010)
Martín Escardó, Paulo Oliva
What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift Have in Common. MSFP@ICFP (2010)
Gilda Ferreira, Paulo Oliva
On Various Negative Translations CL&C (2010)
Martín Hötzel Escardó, Paulo Oliva
Computational Interpretations of Analysis via Products of Selection Functions. CiE (2010)
Martín Hötzel Escardó, Paulo Oliva
Selection functions, bar recursion and backward induction. Math. Struct. Comput. Sci. 20 (2) (2010)
Jaime Gaspar, Paulo Oliva
Proof interpretations with truth. Math. Log. Q. 56 (6) (2010)
Rob Arthan, Ursula Martin, Erik Arne Mathiesen, Paulo Oliva
A general framework for sound and complete Floyd-Hoare logics. ACM Trans. Comput. Log. 11 (1) (2009)
Gilda Ferreira, Paulo Oliva
Functional Interpretations of Intuitionistic Linear Logic. CSL (2009)
Mircea-Dan Hernest, Paulo Oliva
Hybrid Functional Interpretations. CiE (2008)
Paulo Oliva, Thomas Streicher
On Krivine's Realizability Interpretation of Classical Second-Order Arithmetic. Fundam. Informaticae 84 (2) (2008)
Rob Arthan, Ursula Martin, Erik Arne Mathiesen, Paulo Oliva
A General Framework for Sound and Complete Floyd-Hoare Logics CoRR (2008)
Paulo Oliva
Modified Realizability Interpretation of Classical Linear Logic. LICS (2007)
Fernando Ferreira, Paulo Oliva
Bounded functional interpretation and feasible analysis. Ann. Pure Appl. Log. 145 (2) (2007)
Paulo Oliva
Computational Interpretations of Classical Linear Logic. WoLLIC (2007)
Paulo Oliva
Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis. CiE (2006)
Ursula Martin, Erik Arne Mathiesen, Paulo Oliva
Hoare Logic in the Abstract. CSL (2006)
Paulo Oliva
Unifying Functional Interpretations. Notre Dame J. Formal Log. 47 (2) (2006)
Ulrich Berger, Paulo Oliva
Modified bar recursion. Math. Struct. Comput. Sci. 16 (2) (2006)
Fernando Ferreira, Paulo Oliva
Bounded functional interpretation. Ann. Pure Appl. Log. 135 (1-3) (2005)
Paulo Oliva
Unifying Functional Interpretations. Mathematics, Algorithms, Proofs (2005)
Ulrich Kohlenbach, Paulo Oliva
-approximation. Ann. Pure Appl. Log. 121 (1) (2003)
Paulo Oliva
Polynomial-time Algorithms from Ineffective Proofs. LICS (2003)
Paulo Oliva
-approximation. Math. Log. Q. 48 (S1) (2002)
Eugene W. Myers, Paulo Oliva, Katia S. Guimarães
Reporting Exact and Approximate Regular Expression Matches. CPM (1998)