Topological and limit-space subcategories of countably-based equilogical spaces (2002)

by M Menni, A Simpson
Venue:Mathematical Structures in Computer Science