Constructive notes on uniform and locally convex spaces (1999)

by Lumini¸ta Dediu, Douglas Bridges
Venue:in Proceedings of International Symposium FCT ’99 (Ia¸si, Romania), Springer Lecture Notes in Computer Science 1684