@article{CTGDC_1996__37_1_73_0, author = {Johnson, P. B.}, title = {Coherent spaces constructively}, journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques}, pages = {73--80}, publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS}, volume = {37}, number = {1}, year = {1996}, mrnumber = {1383449}, zbl = {0847.06004}, language = {en}, url = {http://www.numdam.org/item/CTGDC_1996__37_1_73_0/} }