Results 1 -
1 of
1
A Constructive Theory of Point-Set Nearness
- in Proceedings of Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization, Seminar in Dagstuhl, Germany, 4–9 June 2000; Springer Lecture Notes in Computer Science
, 2001
"... An axiomatic constructive development of the theory of nearness and apartness of a point and a set is introduced as a setting for topology. ..."
Abstract
-
Cited by 2 (1 self)
- Add to MetaCart
An axiomatic constructive development of the theory of nearness and apartness of a point and a set is introduced as a setting for topology.
