Funder
Japan Society for the Promotion of ScienceJapan Society for the Promotion of Science (JSPS)
Core-to-Core Program
Grant-in-Aid for Scientific Research
Reference25 articles.
1. Foundations of Constructive Analysis;Bishop,1967
2. Constructive Analysis;Bishop,1985
3. Varieties of Constructive Mathematics;Bridges,1987
4. Techniques of Constructive Analysis;Bridges,2006
5. Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics;Escardó;J. Symbolic Logic,2013
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献