Author:
Xu Chuangjie,Escardó Martín
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Awodey, S., Bauer, A.: Propositions as [types]. Journal of Logic and Computation 14(4), 447–471 (2004)
2. Baez, J.C., Hoffnung, A.E.: Convenient categories of smooth spaces (2008)
3. Bauer, A., Birkedal, L., Scott, D.: Equilogical spaces. Theoret. Comput. Sci. 315(1), 35–59 (2004)
4. Bauer, A., Simpson, A.: Continuity begets continuity. Presented at Trends in Constructive Mathematics in Germany (2006)
5. Beeson, M.J.: Foundations of Constructive Mathematics. Springer (1985)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献