@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/}
}