34 citations · 50 across the 9 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
The Herbrand Functional Interpretation of the Double Negation Shift
Martin Escardo, Paulo Oliva
This paper considers a generalisation of selection functions over an arbitrary strong monad , as functionals of type . It is assumed throughout that…
cs.LO2014★ 3 cited
Bar Recursion and Products of Selection Functions
Martin Escardo, Paulo Oliva
We show how two iterated products of selection functions can both be used in conjunction with system T to interpret, via the dialectica interpretation and modified realizability, f…