On the foundations of constructive mathematics - especially in relation to the theory of continuous functions, Foundations of Science, Volume 10, pages 249–324, (2005). (doi:10.1007/s10699-004-3065-z, pdf)
Modern intuitionistic topology (PhD thesis, web)
Last revised on June 13, 2025 at 13:37:19. See the history of this page for a list of all contributions to it.