9 citations · 28 across the 16 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 2 cited
Parametrised bar recursion: A unifying framework for realizability interpretations of classical dependent choice
Thomas Powell
During the last twenty years or so a wide range of realizability interpretations of classical analysis have been developed. In many cases, these are achieved by extending the base…
cs.LO2014★ 4 cited
Spector bar recursion over finite partial functions
Paulo Oliva, Thomas Powell
We introduce a new, demand-driven variant of Spector's bar recursion in the spirit of the Berardi-Bezem-Coquand functional. The recursion takes place over finite partial functions…