Quasi-apartness and neighbourhood spaces
暂无分享,去创建一个
[1] M. Beeson. Foundations of Constructive Mathematics , 1985 .
[2] Erik Palmgren,et al. Quotient topologies in constructive set theory and type theory , 2006, Ann. Pure Appl. Log..
[3] G. Sambin. Intuitionistic Formal Spaces — A First Communication , 1987 .
[4] Colin McLarty,et al. Elementary categories, elementary toposes , 1992 .
[5] Erik Palmgren,et al. Apartness and formal topology , 2004 .
[6] Peter Aczel,et al. Aspects of general topology in constructive set theory , 2006, Ann. Pure Appl. Log..
[7] Robin J. Grayson,et al. Concepts of general topology in constructive mathematics and in sheaves, II , 1981, Ann. Math. Log..
[8] K. Brown,et al. Graduate Texts in Mathematics , 1982 .
[9] Douglas S. Bridges,et al. Apartness spaces as a framework for constructive topology , 2003, Ann. Pure Appl. Log..
[10] S. Lane,et al. Sheaves In Geometry And Logic , 1992 .
[11] Giovanni Sambin,et al. Some points in formal topology , 2003, Theor. Comput. Sci..
[12] F. Richman,et al. Varieties of Constructive Mathematics: CONSTRUCTIVE ALGEBRA , 1987 .