Paulo Oliva

According to our database, Paulo Oliva authored at least 59 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Higher-order games with dependent types.

Martín Escardó, Paulo Oliva

Theor. Comput. Sci., September, 2023

2021

Kripke Semantics for Intuitionistic Łukasiewicz Logic.

A. Lewis-Smith, Paulo Oliva, Edmund Robinson

Stud Logica, 2021

Double Negation Semantics for Generalisations of Heyting Algebras.

Rob Arthan, Paulo Oliva

Stud Logica, 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

On Rational Choice and the Representation of Decision Problems.

Paulo Oliva, Philipp Zahn

Games, 2021

A parametrised functional interpretation of Heyting arithmetic.

Bruno Dinis, Paulo Oliva

Ann. Pure Appl. Log., 2021

2020

On the Herbrand functional interpretation.

Paulo Oliva, Chuangjie Xu

Math. Log. Q., 2020

2019

An analysis of the Podelski-Rybalchenko termination theorem via bar recursion.

Stefano Berardi, Paulo Oliva, Silvia Steila

J. Log. Comput., 2019

Negative Translations for Affine and Lukasiewicz Logic.

Rob Arthan, Paulo Oliva

CoRR, 2019

Studying Algebraic Structures using Prover9 and Mace4.

Rob Arthan, Paulo Oliva

CoRR, 2019

2018

A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem.

Paulo Oliva, Silvia Steila

J. Symb. Log., 2018

A Curry-Howard Correspondence for the Minimal Fragment of Łukasiewicz Logic.

Rob Arthan, Paulo Oliva

CoRR, 2018

Buying Online - A Characterization of Rational Buying Procedures.

Paulo Oliva, Philipp Zahn

CoRR, 2018

2017

The Herbrand Functional Interpretation of the double Negation Shift.

Martín Escardó, Paulo Oliva

J. Symb. Log., 2017

Bar recursion over finite partial functions.

Paulo Oliva, Thomas Powell

Ann. Pure Appl. Log., 2017

Selection Equilibria of Higher-Order Games.

Jules Hedges, Paulo Oliva, Evguenia Shprits, Viktor Winschel, Philipp Zahn

Proceedings of the Practical Aspects of Declarative Languages, 2017

Higher-Order Decision Theory.

Jules Hedges, Paulo Oliva, Evguenia Shprits, Viktor Winschel, Philipp Zahn

Proceedings of the Algorithmic Decision Theory - 5th International Conference, 2017

2015

A constructive interpretation of Ramsey's theorem via the product of selection functions.

Paulo Oliva, Thomas Powell

Math. Struct. Comput. Sci., 2015

Bar Recursion and Products of Selection Functions.

Martín Escardó, Paulo Oliva

J. Symb. Log., 2015

Higher-Order Game Theory.

Jules Hedges, Paulo Oliva, Evguenia Sprits, Viktor Winschel, Philipp Zahn

CoRR, 2015

2014

Unifying Functional Interpretations: Past and Future.

Paulo Oliva

CoRR, 2014

A Higher-order Framework for Decision Problems and Games.

Jules Hedges, Paulo Oliva, Evguenia Winschel, Viktor Winschel, Philipp Zahn

CoRR, 2014

Proving termination with transition invariants of height omega.

Stefano Berardi, Paulo Oliva, Silvia Steila

CoRR, 2014

On Pocrims and Hoops.

Rob Arthan, Paulo Oliva

CoRR, 2014

On Affine Logic and Łukasiewicz Logic.

Rob Arthan, Paulo Oliva

CoRR, 2014

Proving termination of programs having transition invariants of height ω.

Stefano Berardi, Paulo Oliva, Silvia Steila

Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

2013

A Hoare logic for linear systems.

Rob Arthan, Ursula Martin, Paulo Oliva

Formal Aspects Comput., 2013

(Dual) Hoops Have Unique Halving.

Rob Arthan, Paulo Oliva

Proceedings of the Automated Reasoning and Mathematics, 2013

2012

On Spector's bar recursion.

Paulo Oliva, Thomas Powell

Math. Log. Q., 2012

Hybrid Functional Interpretations of Linear and Intuitionistic Logic.

Paulo Oliva

J. Log. Comput., 2012

A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis

Paulo Oliva, Thomas Powell

CoRR, 2012

On bounded functional interpretations.

Gilda Ferreira, Paulo Oliva

Ann. Pure Appl. Log., 2012

The Peirce translation.

Martín Hötzel Escardó, Paulo Oliva

Ann. Pure Appl. Log., 2012

Computing Nash Equilibria of Unbounded Games.

Martín Hötzel Escardó, Paulo Oliva

Proceedings of the Turing-100, 2012

2011

Functional Interpretations of Intuitionistic Linear Logic

Gilda Ferreira, Paulo Oliva

Log. Methods Comput. Sci., 2011

System T and the Product of Selection Functions.

Martín Hötzel Escardó, Paulo Oliva, Thomas Powell

Proceedings of the Computer Science Logic, 2011

2010

Selection functions, bar recursion and backward induction.

Martín Hötzel Escardó, Paulo Oliva

Math. Struct. Comput. Sci., 2010

Proof interpretations with truth.

Jaime Gaspar, Paulo Oliva

Math. Log. Q., 2010

Confined modified realizability.

Gilda Ferreira, Paulo Oliva

Math. Log. Q., 2010

Functional interpretations of linear and intuitionistic logic.

Paulo Oliva

Inf. Comput., 2010

On Various Negative Translations

Gilda Ferreira, Paulo Oliva

Proceedings of the Proceedings Third International Workshop on Classical Logic and Computation, 2010

What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift Have in Common.

Martín Escardó, Paulo Oliva

Proceedings of the 3rd ACM SIGPLAN Workshop on Mathematically Structured Functional Programming, 2010

The Peirce Translation and the Double Negation Shift.

Martín Hötzel Escardó, Paulo Oliva

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

Computational Interpretations of Analysis via Products of Selection Functions.

Martín Hötzel Escardó, Paulo Oliva

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

2009

A general framework for sound and complete Floyd-Hoare logics.

Rob Arthan, Ursula Martin, Erik Arne Mathiesen, Paulo Oliva

ACM Trans. Comput. Log., 2009

2008

On Krivine's Realizability Interpretation of Classical Second-Order Arithmetic.

Paulo Oliva, Thomas Streicher

Fundam. Informaticae, 2008

Hybrid Functional Interpretations.

Mircea-Dan Hernest, Paulo Oliva

Proceedings of the Logic and Theory of Algorithms, 2008

2007

Bounded functional interpretation and feasible analysis.

Fernando Ferreira, Paulo Oliva

Ann. Pure Appl. Log., 2007

Computational Interpretations of Classical Linear Logic.

Paulo Oliva

Proceedings of the Logic, 2007

Modified Realizability Interpretation of Classical Linear Logic.

Paulo Oliva

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

2006

Unifying Functional Interpretations.

Paulo Oliva

Notre Dame J. Formal Log., 2006

Modified bar recursion.

Ulrich Berger, Paulo Oliva

Math. Struct. Comput. Sci., 2006

Hoare Logic in the Abstract.

Ursula Martin, Erik Arne Mathiesen, Paulo Oliva

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis.

Paulo Oliva

Proceedings of the Logical Approaches to Computational Barriers, 2006

2005

Bounded functional interpretation.

Fernando Ferreira, Paulo Oliva

Ann. Pure Appl. Log., 2005

2003

Proof mining in <i>L</i>₁-approximation.

Ulrich Kohlenbach, Paulo Oliva

Ann. Pure Appl. Log., 2003

Polynomial-time Algorithms from Ineffective Proofs.

Paulo Oliva

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

2002

On the Computational Complexity of Best <i>L</i>₁-approximation.

Paulo Oliva

Math. Log. Q., 2002

1998

Reporting Exact and Approximate Regular Expression Matches.

Eugene W. Myers, Paulo Oliva, Katia S. Guimarães

Proceedings of the Combinatorial Pattern Matching, 9th Annual Symposium, 1998