Paulo Oliva

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