Paulo Oliva
Identifiers
- name variant Paulo Oliva 0.60 · backfill
Papers (19)
- A systematic way of analysing proofs in probability theory math.LO · 2026 · author #2
- A Curry-Howard Correspondence for the Minimal Fragment of {\L}ukasiewicz Logic cs.LO · 2018 · author #2
- A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem math.LO · 2016 · author #1
- Higher-Order Decision Theory cs.GT · 2015 · author #2
- Higher-Order Game Theory cs.GT · 2015 · author #2
- Spector bar recursion over finite partial functions cs.LO · 2014 · author #1
- Unifying Functional Interpretations: Past and Future math.LO · 2014 · author #1
- The Herbrand Functional Interpretation of the Double Negation Shift cs.LO · 2014 · author #2
- A Higher-order Framework for Decision Problems and Games cs.LO · 2014 · author #2
- Bar Recursion and Products of Selection Functions cs.LO · 2014 · author #2
- Proving termination with transition invariants of height omega cs.LO · 2014 · author #2
- On Pocrims and Hoops math.LO · 2014 · author #2
- On Affine Logic and {\L}ukasiewicz Logic cs.LO · 2014 · author #2
- Hoops, Coops and the Algebraic Semantics of Continuous Logic math.LO · 2012 · author #2
- A Constructive Interpretation of Ramsey's Theorem via the Product of Selection Functions math.LO · 2012 · author #1
- A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis math.LO · 2012 · author #1
- (Dual) Hoops Have Unique Halving cs.AI · 2012 · author #2
- On Various Negative Translations cs.LO · 2011 · author #2
- A General Framework for Sound and Complete Floyd-Hoare Logics cs.LO · 2008 · author #4
Mentions
- 1506.01003 #2 · backfill · confidence 0.70 Paulo Oliva
- 1506.01002 #2 · backfill · confidence 0.70 Paulo Oliva
- 1410.6361 #1 · backfill · confidence 0.70 Paulo Oliva
- 1410.4364 #1 · backfill · confidence 0.70 Paulo Oliva
- 1410.4353 #2 · backfill · confidence 0.70 Paulo Oliva
- 1409.7411 #2 · backfill · confidence 0.70 Paulo Oliva
- 1407.7046 #2 · backfill · confidence 0.70 Paulo Oliva
- 1407.4692 #2 · backfill · confidence 0.70 Paulo Oliva
- 1404.0816 #2 · backfill · confidence 0.70 Paulo Oliva
- 1404.0570 #2 · backfill · confidence 0.70 Paulo Oliva
- 1212.2887 #2 · backfill · confidence 0.70 Paulo Oliva
- 1204.5631 #1 · backfill · confidence 0.70 Paulo Oliva
- 1204.5244 #1 · backfill · confidence 0.70 Paulo Oliva
- 1203.0436 #2 · backfill · confidence 0.70 Paulo Oliva
- 1101.5442 #2 · backfill · confidence 0.70 Paulo Oliva
- 0807.1016 #4 · backfill · confidence 0.70 Paulo Oliva
Frequent Coauthors
- Rob Arthan 6 shared papers
- Jules Hedges 3 shared papers
- Philipp Zahn 3 shared papers
- Thomas Powell 3 shared papers
- Viktor Winschel 3 shared papers
- Evguenia Sprits 2 shared papers
- Martin Escardo 2 shared papers
- Silvia Steila 2 shared papers
- Erik A. Mathiesen 1 shared papers
- Evguenia Winschel 1 shared papers
- Gilda Ferreira 1 shared papers
- Morenikeji Neri 1 shared papers
- Nicholas Pischke 1 shared papers
- Stefano Berardi 1 shared papers
- Ursula Martin 1 shared papers