Iraj Kalantari, Lawrence Welch. Point-Free Topological Spaces, Functions and Recursive Points: Filter Foundation for Recursive Analysis I. Annals of Pure and Applied Logic, 93(1-3):125-151, 1998.
@article{KalantariW98,
title = {Point-Free Topological Spaces, Functions and Recursive Points: Filter Foundation for Recursive Analysis I},
author = {Iraj Kalantari and Lawrence Welch},
year = {1998},
tags = {points-to analysis, analysis, source-to-source, peer-to-peer, open-source},
researchr = {https://researchr.org/publication/KalantariW98},
cites = {0},
citedby = {0},
journal = {Annals of Pure and Applied Logic},
volume = {93},
number = {1-3},
pages = {125-151},
}