Thierry Coquand, Giovanni Sambin, Jan M. Smith, Silvio Valentini. Inductively generated formal topologies. Annals of Pure and Applied Logic, 124(1-3):71-106, 2003. [doi]
@article{CoquandSSV03, title = {Inductively generated formal topologies}, author = {Thierry Coquand and Giovanni Sambin and Jan M. Smith and Silvio Valentini}, year = {2003}, doi = {10.1016/S0168-0072(03)00052-6}, url = {http://dx.doi.org/10.1016/S0168-0072(03)00052-6}, researchr = {https://researchr.org/publication/CoquandSSV03}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {124}, number = {1-3}, pages = {71-106}, }