Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
scientific article; zbMATH DE number 1308076
scientific article