pith. sign in

Paulo Oliva

Identifiers

  • name variant Paulo Oliva 0.60 · backfill

Papers (19)

  1. A systematic way of analysing proofs in probability theory math.LO · 2026 · author #2
  2. A Curry-Howard Correspondence for the Minimal Fragment of {\L}ukasiewicz Logic cs.LO · 2018 · author #2
  3. A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem math.LO · 2016 · author #1
  4. Higher-Order Decision Theory cs.GT · 2015 · author #2
  5. Higher-Order Game Theory cs.GT · 2015 · author #2
  6. Spector bar recursion over finite partial functions cs.LO · 2014 · author #1
  7. Unifying Functional Interpretations: Past and Future math.LO · 2014 · author #1
  8. The Herbrand Functional Interpretation of the Double Negation Shift cs.LO · 2014 · author #2
  9. A Higher-order Framework for Decision Problems and Games cs.LO · 2014 · author #2
  10. Bar Recursion and Products of Selection Functions cs.LO · 2014 · author #2
  11. Proving termination with transition invariants of height omega cs.LO · 2014 · author #2
  12. On Pocrims and Hoops math.LO · 2014 · author #2
  13. On Affine Logic and {\L}ukasiewicz Logic cs.LO · 2014 · author #2
  14. Hoops, Coops and the Algebraic Semantics of Continuous Logic math.LO · 2012 · author #2
  15. A Constructive Interpretation of Ramsey's Theorem via the Product of Selection Functions math.LO · 2012 · author #1
  16. A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis math.LO · 2012 · author #1
  17. (Dual) Hoops Have Unique Halving cs.AI · 2012 · author #2
  18. On Various Negative Translations cs.LO · 2011 · author #2
  19. 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