@article{10_4153_CJM_1984_034_4,
     author = {Higgs, Denis},
     title = {Injectivity in the {Topos} of {Complete} {Heyting} {Algebra} {Valued} {Sets}},
     journal = {Canadian journal of mathematics},
     pages = {550--568},
     year = {1984},
     volume = {36},
     number = {3},
     doi = {10.4153/CJM-1984-034-4},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1984-034-4/}
}