%0 Journal Article
%A Higgs, Denis
%T Injectivity in the Topos of Complete Heyting Algebra Valued Sets
%J Canadian journal of mathematics
%D 1984
%P 550-568
%V 36
%N 3
%U http://geodesic.mathdoc.fr/articles/10.4153/CJM-1984-034-4/
%R 10.4153/CJM-1984-034-4
%F 10_4153_CJM_1984_034_4