8 citations · 36 across the 24 of their papers we have counts for
Showing 2014 · math.LOShow all
2 papers · 2 filters
math.LO2014★ 2 cited
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,…
math.LO2014★ 2 cited
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…