1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Jaap van Oosten
We study a notion of realizability with a local operator J which was first considered by A.M. Pitts in his thesis. Using the Suslin-Kleene theorem, we show that the representable f…