Geodesic
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

MR Zbl 
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/
@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},
     year = {1996},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {37},
     number = {1},
     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