Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II
point-free approach to points and functions on topological spaces
recursive functions on topological spaces
scientific article; zbMATH DE number 1340810
scientific article