Reference11 articles.
1. Bishop, Errett and Douglas Bridges, Constructive Analysis, Grundlehren der math. Wissenschaften Bd. 279, Springer-Verlag, Heidelberg (1985).
2. Bridges, Douglas and Hajime Ishihara, Linear mappings are fairly well-behaved, Arch. Math. (Basel) 54 (1990), 558–569.
3. Bridges, Douglas and Hajime Ishihara, A definitive constructive open mapping theorem, MLQ Math. Log. Q. 44 (1998), 545–552.
4. Bridges, Douglas, Hajime Ishihara, Peter Schuster and Luminita Apartness continuity implies uniformly sequential continuity, preprint, (2001).
5. Bridges, Douglas and Fred Richman, Varieties of Constructive Mathematics, London Math. Soc. Lecture Notes 97, Cambridge Univ. Press, London (1987).
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献