Paulo Oliva

Available identifiers

zbMath Open oliva.pauloWikidataQ93944824 ScholiaQ93944824MaRDI QIDQ408161

List of research outcomes

Publication	Date of Publication	Type
Higher-order games with dependent types	2023-09-18	Paper
On rational choice and the representation of decision problems	2022-03-09	Paper
On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem	2022-02-09	Paper
Double negation semantics for generalisations of Heyting algebras	2021-04-27	Paper
A parametrised functional interpretation of Heyting arithmetic	2021-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q4964696	2021-03-03	Paper
On the Borel-Cantelli Lemmas, the Erd\H{o}s-R\'enyi Theorem, and the Kochen-Stone Theorem	2020-12-17	Paper
On the Herbrand functional interpretation	2020-05-29	Paper
On the Herbrand Functional Interpretation	2019-12-03	Paper
Negative Translations for Affine and Lukasiewicz Logic	2019-11-29	Paper
An analysis of the Podelski–Rybalchenko termination theorem via bar recursion	2019-07-29	Paper
Higher-order decision theory	2018-10-25	Paper
A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM	2018-05-02	Paper
THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT	2017-08-03	Paper
Unifying Functional Interpretations: Past and Future	2017-07-11	Paper
A general framework for sound and complete Floyd-Hoare logics	2015-09-17	Paper
BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS	2015-05-20	Paper
A Hoare logic for linear systems	2014-11-11	Paper
A Higher-order Framework for Decision Problems and Games	2014-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q4981448	2014-06-24	Paper
On Pocrims and Hoops	2014-04-03	Paper
On Affine Logic and {\L}ukasiewicz Logic	2014-04-02	Paper
(Dual) Hoops Have Unique Halving	2013-04-16	Paper
Hoops, Coops and the Algebraic Semantics of Continuous Logic	2012-12-12	Paper
On bounded functional interpretations	2012-06-01	Paper
Hybrid Functional Interpretations of Linear and Intuitionistic Logic	2012-05-07	Paper
The Peirce translation	2012-03-29	Paper
Sequential games and optimal strategies	2011-12-17	Paper
Functional Interpretations of Intuitionistic Linear Logic	2011-05-26	Paper
Proof interpretations with truth	2011-01-10	Paper
Computational Interpretations of Analysis via Products of Selection Functions	2010-07-29	Paper
The Peirce Translation and the Double Negation Shift	2010-07-29	Paper
Selection functions, bar recursion and backward induction	2010-05-17	Paper
Functional interpretations of linear and intuitionistic logic	2010-04-22	Paper
Confined modified realizability	2010-02-16	Paper
Functional Interpretations of Intuitionistic Linear Logic	2009-11-12	Paper
Hoare Logic in the Abstract	2009-03-12	Paper
Computational Interpretations of Classical Linear Logic	2009-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q3532205	2008-11-03	Paper
Hybrid Functional Interpretations	2008-06-19	Paper
Logical Approaches to Computational Barriers	2007-04-30	Paper
Unifying functional interpretations	2007-02-15	Paper
Bounded functional interpretation and feasible analysis	2007-02-14	Paper
Modified bar recursion	2006-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q5702662	2005-11-02	Paper
Bounded functional interpretation	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4681899	2005-06-08	Paper
On the Computational Complexity of Best L1-approximation	2003-05-29	Paper
Proof mining in \(L_{1}\)-approximation	2003-05-22	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paulo Oliva