%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