Paulo Oliva

发表

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

Thomas Streicher, Paulo Oliva, 2008, Fundam. Informaticae.

Hoare Logic in the Abstract

Paulo Oliva, Ursula Martin, Erik Arne Mathiesen, 2006, CSL.

A New Perspective on Classical Choice Problems Using Selection Functions

Paulo Oliva, Jules Hedges, Evguenia Winschel, 2014 .

A Higher-order Framework for Decision Problems and Games pdf

Paulo Oliva, Jules Hedges, Evguenia Winschel, 2014, ArXiv.

A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem

Paulo Oliva, Silvia Steila, 2018, J. Symb. Log..

On the Computational Complexity of Best L1-approximation

Paulo Oliva, 2002, Math. Log. Q..

The Peirce translation

Martín Hötzel Escardó, Paulo Oliva, 2012, Ann. Pure Appl. Log..

Bar recursion over finite partial functions pdf

Paulo Oliva, Thomas Powell, 2017, Ann. Pure Appl. Log..

Hybrid Functional Interpretations of Linear and Intuitionistic Logic

Paulo Oliva, Paulo Oliva, 2012, J. Log. Comput..

On Affine Logic and Łukasiewicz Logic pdf

Paulo Oliva, Rob Arthan, 2014, ArXiv.

Proof mining in L1-approximation

Paulo Oliva, Ulrich Kohlenbach, Paulo Oliva, 2003, Ann. Pure Appl. Log..

(Dual) Hoops Have Unique Halving

Paulo Oliva, Rob Arthan, Paulo Oliva, 2012, Automated Reasoning and Mathematics.

Proving termination of programs having transition invariants of height ω

Paulo Oliva, Stefano Berardi, Silvia Steila, 2014, ICTCS.

On Spector's bar recursion

Paulo Oliva, Thomas Powell, 2012, Math. Log. Q..

On the Herbrand Functional Interpretation

Paulo Oliva, Chuangjie Xu, 2020, Math. Log. Q..

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

Paulo Oliva, Stefano Berardi, Silvia Steila, 2019, J. Log. Comput..

Negative Translations for Affine and Lukasiewicz Logic pdf

Paulo Oliva, Rob Arthan, 2019, ArXiv.

The Herbrand Functional Interpretation of the double Negation Shift pdf

Martín Hötzel Escardó, Paulo Oliva, 2017, J. Symb. Log..

Computational Interpretations of Analysis via Products of Selection Functions

Martín Hötzel Escardó, Paulo Oliva, 2010, CiE.

Buying Online - A Characterization of Rational Buying Procedures pdf

Paulo Oliva, Philipp Zahn, 2018, ArXiv.

Proceedings Fifth International Workshop on Classical Logic and Computation

Paulo Oliva, 2014 .

Studying Algebraic Structures using Prover9 and Mace4 pdf

Paulo Oliva, Rob Arthan, 2019, ArXiv.

Bounded functional interpretation and feasible analysis

Paulo Oliva, Fernando Ferreira, 2007, Ann. Pure Appl. Log..

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

Paulo Oliva, Ursula Martin, Erik Arne Mathiesen, 2009, TOCL.

Modified Realizability Interpretation of Classical Linear Logic

Paulo Oliva, Paulo Oliva, 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).

Higher-Order Game Theory pdf

Paulo Oliva, Jules Hedges, Viktor Winschel, 2015, ArXiv.

On Logic, Choices and Games

Paulo Oliva, 2019 .

What sequential games, the tychonoff theorem and the double-negation shift have in common

Martín Hötzel Escardó, Paulo Oliva, 2010, MSFP '10.

Hybrid Functional Interpretations

Paulo Oliva, Mircea-Dan Hernest, Paulo Oliva, 2008, CiE.

Unifying Functional Interpretations

Paulo Oliva, Paulo Oliva, 2006, Notre Dame J. Formal Log..

Proving termination with transition invariants of height omega pdf

Paulo Oliva, Stefano Berardi, Silvia Steila, 2014, ArXiv.

A Hoare logic for linear systems

Paulo Oliva, Ursula Martin, Rob Arthan, 2013, Formal Aspects of Computing.

Computing Nash Equilibria of Unbounded Games

Martín Hötzel Escardó, Paulo Oliva, Paulo Oliva, 2012, Turing-100.

Selection Equilibria of Higher-Order Games

Paulo Oliva, Jules Hedges, Viktor Winschel, 2017, PADL.

Unifying Functional Interpretations: Past and Future pdf

Paulo Oliva, 2014, ArXiv.

Bar Recursion and Products of Selection Functions

Martín Hötzel Escardó, Paulo Oliva, 2015, J. Symb. Log..

Functional interpretations of linear and intuitionistic logic

Paulo Oliva, Paulo Oliva, 2010, Inf. Comput..

Proceedings Fifth International Workshop on Classical Logic and Computation: Preface

Paulo Oliva, 2014 .

Confined modified realizability

Paulo Oliva, Gilda Ferreira, 2010, Math. Log. Q..

Polynomial-time algorithms from ineffective proofs

Paulo Oliva, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..

On Various Negative Translations

Paulo Oliva, Gilda Ferreira, Paulo Oliva, 2011, CL&C.

Functional Interpretations of Intuitionistic Linear Logic

Paulo Oliva, Gilda Ferreira, 2009, CSL.

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

Paulo Oliva, 2006, CiE.

The Peirce Translation and the Double Negation Shift

Martín Hötzel Escardó, Paulo Oliva, 2010, CiE.

Computational Interpretations of Classical Linear Logic

Paulo Oliva, 2007, WoLLIC.

Proof interpretations with truth

Paulo Oliva, Jaime Gaspar, 2010, Math. Log. Q..

Higher-Order Decision Theory

Paulo Oliva, Jules Hedges, Viktor Winschel, 2015, ADT.

On Rational Choice and the Representation of Decision Problems

Paulo Oliva, Philipp Zahn, 2020 .

The Structure of the Environment and the Complexity of Rational Choice Procedures

Paulo Oliva, Philipp Zahn, Paulo Oliva, 2018 .

Workshop on Verification and Theorem Proving for Continuous Systems (NetCA Workshop 2005)

Paulo Oliva, Max Kanovich, Hanne Gottliebsen, 2013 .

A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis pdf

Paulo Oliva, Thomas Powell, 2012, ArXiv.

Functional Interpretations of Intuitionistic Linear Logic

Paulo Oliva, Gilda Ferreira, Paulo Oliva, 2010, Log. Methods Comput. Sci..

On bounded functional interpretations

Paulo Oliva, Gilda Ferreira, 2012, Ann. Pure Appl. Log..

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

Paulo Oliva, Rob Arthan, Paulo Oliva, 2018, ArXiv.

Selection functions, bar recursion and backward induction

Martín Hötzel Escardó, Paulo Oliva, Paulo Oliva, 2010, Mathematical Structures in Computer Science.

Bounded functional interpretation

Paulo Oliva, Fernando Ferreira, 2005, Ann. Pure Appl. Log..

On Pocrims and Hoops pdf

Paulo Oliva, Rob Arthan, 2014, ArXiv.

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

Thomas Powell, Paulo Oliva, 2015, Math. Struct. Comput. Sci..

Reporting Exact and Approximate Regular Expression Matches

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

System T and the Product of Selection Functions

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

Modified bar recursion

Ulrich Berger, Paulo Oliva, Paulo Oliva, 2006, Mathematical Structures in Computer Science.

A Parametrised Functional Interpretation of Affine Logic

Paulo Oliva, Bruno Dinis, 2021 .

Double Negation Semantics for Generalisations of Heyting Algebras

Paulo Oliva, Rob Arthan, 2021, Stud Logica.

A parametrised functional interpretation of Heyting arithmetic

Paulo Oliva, Bruno Dinis, 2021, Ann. Pure Appl. Log..

Searchable Sets, Dubuc-Penon Compactness, Omniscience Principles, and the Drinker Paradox

Paulo Oliva, 2010 .

Effective Bounds on Strong Unicity in L1-Approximation

Paulo Oliva, Ulrich Kohlenbach, Paulo Oliva, 2001 .

On the Computational Complexity of Best L1‐approximation

Paulo Oliva, Paulo Oliva, 2002 .