Coherent spaces constructively
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 37 (1996) no. 1, pp. 73-80
Voir la notice de l'article provenant de la source Numdam
@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://geodesic.mathdoc.fr/item/CTGDC_1996__37_1_73_0/}
}
TY - JOUR AU - Johnson, P. B. TI - Coherent spaces constructively JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques PY - 1996 SP - 73 EP - 80 VL - 37 IS - 1 PB - Dunod éditeur, publié avec le concours du CNRS UR - http://geodesic.mathdoc.fr/item/CTGDC_1996__37_1_73_0/ LA - en ID - CTGDC_1996__37_1_73_0 ER -
%0 Journal Article %A Johnson, P. B. %T Coherent spaces constructively %J Cahiers de Topologie et Géométrie Différentielle Catégoriques %D 1996 %P 73-80 %V 37 %N 1 %I Dunod éditeur, publié avec le concours du CNRS %U http://geodesic.mathdoc.fr/item/CTGDC_1996__37_1_73_0/ %G en %F CTGDC_1996__37_1_73_0
Johnson, P. B. Coherent spaces constructively. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 37 (1996) no. 1, pp. 73-80. http://geodesic.mathdoc.fr/item/CTGDC_1996__37_1_73_0/