TY  - JOUR
AU  - Higgs, Denis
TI  - Injectivity in the Topos of Complete Heyting Algebra Valued Sets
JO  - Canadian journal of mathematics
PY  - 1984
SP  - 550
EP  - 568
VL  - 36
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1984-034-4/
DO  - 10.4153/CJM-1984-034-4
ID  - 10_4153_CJM_1984_034_4
ER  -