Point-Free Topological Spaces, Functions and Recursive Points: Filter Foundation for Recursive Analysis I.

Iraj KalantariLawrence Welch
Published in: Ann. Pure Appl. Log. (1998)