Follow
Paulo Oliva
Title
Cited by
Cited by
Year
Bounded functional interpretation
F Ferreira, P Oliva
Annals of Pure and Applied Logic 135 (1-3), 73-112, 2005
1052005
Proof mining: a systematic way of analyzing proofs in mathematics
U Kohlenbach, P Oliva
Труды Математического института имени ВА Стеклова 242 (0), 147-175, 2003
1032003
Modified bar recursion and classical dependent choice
U Berger, P Oliva
Logic Colloquium 1, 89-107, 2001
842001
Selection functions, bar recursion and backward induction
M Escardó, P Oliva
Mathematical structures in computer science 20 (2), 127-168, 2010
692010
Sequential games and optimal strategies
M Escardó, P Oliva
Proceedings of the Royal Society A: Mathematical, Physical and Engineering …, 2011
492011
Unifying functional interpretations
P Oliva
Notre Dame Journal of Formal Logic 47 (2), 263-290, 2006
482006
On Krivine's realizability interpretation of classical second-order arithmetic
P Oliva, T Streicher
Fundamenta Informaticae 84 (2), 207-220, 2008
412008
Modified bar recursion
U Berger, P Oliva
Mathematical Structures in Computer Science 16 (2), 163-183, 2006
412006
Understanding and using Spector’s bar recursive interpretation of classical analysis
P Oliva
Logical Approaches to Computational Barriers: Second Conference on …, 2006
412006
On various negative translations
G Ferreira, P Oliva
arXiv preprint arXiv:1101.5442, 2011
402011
Proof mining in L1-approximation
U Kohlenbach, P Oliva
Annals of Pure and Applied Logic 121 (1), 1-38, 2003
402003
Bar recursion and products of selection functions
M Escardó, P Oliva
The Journal of Symbolic Logic 80 (1), 1-28, 2015
302015
On the relation between various negative translations
G Ferreira, P Oliva
Logic, construction, computation 3, 227-258, 2012
292012
Reporting exact and approximate regular expression matches
EW Myers, P Oliva, K Guimarăes
Combinatorial Pattern Matching: 9th Annual Symposium, CPM 98 Piscataway, New …, 1998
281998
Bounded functional interpretation and feasible analysis
F Ferreira, P Oliva
Annals of Pure and Applied Logic 145 (2), 115-129, 2007
272007
A constructive interpretation of Ramsey's Theorem via the product of selection functions
P Oliva, T Powell
Mathematical structures in computer science 25 (8), 1755-1778, 2015
262015
What sequential games, the Tychonoff theorem and the double-negation shift have in common
M Escardó, P Oliva
Proceedings of the third ACM SIGPLAN workshop on Mathematically structured …, 2010
222010
Computing Nash Equilibria of Unbounded Games.
MH Escardó, P Oliva
Turing-100 10, 53-65, 2012
212012
Computational interpretations of analysis via products of selection functions
M Escardó, P Oliva
Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE …, 2010
212010
Hybrid functional interpretations
MD Hernest, P Oliva
Logic and Theory of Algorithms: 4th Conference on Computability in Europe …, 2008
192008
The system can't perform the operation now. Try again later.
Articles 1–20