BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Paulo Oliva
SearchCollections
Map detail
Paulo Oliva13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPaulo OlivaAPaulo OlivaResearcherOn the Herbrand Functional InterpretationWOn the Herbrand Functio...preprint / 2019A Constructive Interpretation of Ramsey's Theorem via the Product of Selection FunctionsWA Constructive Interpre...preprint / 2012A Game-Theoretic Computational Interpretation of Proofs in Classical AnalysisWA Game-Theoretic Comput...preprint / 2012Proceedings Fifth International Workshop on Classical Logic and ComputationWProceedings Fifth Inter...preprint / 2014Unifying Functional Interpretations: Past and FutureWUnifying Functional Int...preprint / 2014Spector bar recursion over finite partial functionsWSpector bar recursion o...preprint / 2015Parametrised Functional InterpretationsWParametrised Functional...preprint / 2020On Various Negative TranslationsWOn Various Negative Tra...preprint / 2011Hoops, Coops and the Algebraic Semantics of Continuous LogicWHoops, Coops and the Al...preprint / 2012(Dual) Hoops Have Unique HalvingW(Dual) Hoops Have Uniqu...preprint / 2013On Affine Logic and Łukasiewicz LogicWOn Affine Logic and Łuk...preprint / 2014Bar Recursion and Products of Selection FunctionsWBar Recursion and Produ...preprint / 2014
Person12 links

Paulo Oliva

Researcher

PaperOn the Herbrand Functional InterpretationAuthorship / preprint / 2019PaperA Constructive Interpretation of Ramsey's Theorem via the Product of Selection FunctionsAuthorship / preprint / 2012PaperA Game-Theoretic Computational Interpretation of Proofs in Classical AnalysisAuthorship / preprint / 2012PaperProceedings Fifth International Workshop on Classical Logic and ComputationAuthorship / preprint / 2014PaperUnifying Functional Interpretations: Past and FutureAuthorship / preprint / 2014PaperSpector bar recursion over finite partial functionsAuthorship / preprint / 2015PaperParametrised Functional InterpretationsAuthorship / preprint / 2020PaperOn Various Negative TranslationsAuthorship / preprint / 2011

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)