Author:
Bridges Douglas,Víţă Luminiţa Simona
Reference24 articles.
1. P. Aczel and M. Rathjen, Notes on Constructive Set Theory, Report No. 40, Institut Mittag-Leffler, Royal Swedish Academy of Sciences, 2001.
2. E.A. Bishop, Foundations of Constructive Analysis, McGraw-Hill, New York, 1967.
3. D.S. Bridges and L.S. Vîţă, ‘Apartness spaces as a framework for constructive topology’, Ann. Pure Appl. Logic. 119 (1–3), 61–83, 2003.
4. D.S. Bridges and L.S. Vîţă, ‘A general constructive proof technique’, Elec. Notes in Theoretical Comp. Sci. 120, 31–43, 2005.
5. D.S. Bridges and L.S. Vîţă, ‘Pre-apartness structures on spaces of functions’, J. Complexity 22, 881–893, 2006.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reflections on function spaces;Annals of Pure and Applied Logic;2012-02
2. Apartness, compactness and nearness;Theoretical Computer Science;2008-10