1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Sori Lee, Jaap van Oosten
We employ a new tool (sights) to investigate local operators in the Effective Topos. A number of new such local operators is analyzed using this machinery. Moreover, we investigate…