3 citations · 3 across the 2 of their papers we have counts for
2 papers
math.LO2023
Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T
Martin Escardo
The set-theoretical model of Goedel's system T is not fully abstract. We also briefly discuss fully abstract models of system T.
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…