Next Topology of Data Types 10

Continuity


given semidecidable G, and x, is x \in f^{-1}(G)? if G(f(x)): then

      YES

else

      NO

continued...
Next