8 citations · 36 across the 24 of their papers we have counts for
27 papers
A systematic way of analysing proofs in probability theory
Morenikeji Neri, Paulo Oliva, Nicholas Pischke
Over extended systems of finite type arithmetic, we utilize a formal representation of the outer measure to define a translation which allows for the systematic formalization of pr…
Higher-order Games with Dependent Types
Martín Escardó, Paulo Oliva
In previous work on higher-order games, we accounted for finite games of unbounded length by working with continuous outcome functions, which carry implicit game trees. In this wor…
On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem
Rob Arthan, Paulo Oliva
In this paper we present a quantitative analysis of the first and second Borel-Cantelli Lemmas and of two of their generalisations: the Erdős-Rényi Theorem, and the Kochen-Stone Th…
Parametrised Functional Interpretations
Bruno Dinis, Paulo Oliva
This paper presents a general framework for unifying functional interpretations. It is based on families of parameters allowing for different degrees of freedom on the design of th…
On the Herbrand Functional Interpretation
Paulo Oliva, Chuangjie Xu
We show that the types of the witnesses in the Herbrand functional interpretation can be simplified, avoiding the use of "sets of functionals" in the interpretation of implication…
Negative Translations for Affine and Lukasiewicz Logic
Rob Arthan, Paulo Oliva
We investigate four well-known negative translations of classical logic into intuitionistic logic within a substructural setting. We find that in affine logic the translation schem…