no. 1
Coherent spaces constructively
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 37 (1996) no. 1, pp. 73-80. 
@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/}
}
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://www.numdam.org/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://www.numdam.org/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://www.numdam.org/item/CTGDC_1996__37_1_73_0/

[1] S. Abramsky and A. Jung. Domain Theory. Handbook of Logic in Computer Science I. (Oxford Science Publications) 1994. | MR

[2] P. Henkin. Metamathematical theorems equivalent to the prime ideal theorem for Boolean algebras. Bull. Amer. Math. Soc. 60 (1954) 387-388.

[3] J.R. I. Epimorphisms and dominions, Proc. Confer. Categorical Algebra (La Jolla, 1965). Springer, Berlin (1966) 232-246. | MR | Zbl

[4] P.B. Johnson. Functors of sub-descent type and dominion theory. (soon to appear in Proc. AMS). | MR | Zbl

[5] P.T. Johnstone. Stone Spaces. Cambridge Studies in Advanced Math. 3 (Cambridge University Press) 1982. | MR | Zbl

[6] P.T. Johnstone. Topos Theory. London Mathematical Society Monographs 10 (Academic Press) 1977. | MR | Zbl

[7] F.E.J. Linton. Applied Functorial Semantics, II. Spring. Lec. Notes Math. 80 (1969) 53-74. | MR | Zbl