[1]
M. E. Maietti and G. Sambin, “Why topology in the minimalist foundation must be pointfree”, LLP, vol. 22, no. 2, pp. 167–199, Jun. 2013.