8 citations · 36 across the 24 of their papers we have counts for
8 papers · 1 filter
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…
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…
A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem
Paulo Oliva, Silvia Steila
In 1979 Schwichtenberg showed that the System definable functionals are closed under a rule-like version Spector's bar recursion of lowest type levels and . More…
Unifying Functional Interpretations: Past and Future
Paulo Oliva
This article surveys work done in the last six years on the unification of various functional interpretations including Gödel's dialectica interpretation, its Diller-Nahm variant,…
On Pocrims and Hoops
Rob Arthan, Paulo Oliva
Pocrims and suitable specialisations thereof are structures that provide the natural algebraic semantics for a minimal affine logic and its extensions. Hoops comprise a special cla…
Hoops, Coops and the Algebraic Semantics of Continuous Logic
Rob Arthan, Paulo Oliva
Büchi and Owen studied algebraic structures called hoops. Hoops provide a natural algebraic semantics for a class of substructural logics that we think of as intuitionistic analogu…