TY  - JOUR
AU  - Coulon, Josette
AU  - Coulon, Jean-Louis
TI  - Injectivity in the quasi-topo of separated presheaves on a complete Heyting algebra
JO  - Portugaliae mathematica
PY  - 1990
SP  - 227
EP  - 241
VL  - 47
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PORMA_1990__47_3_115715/
LA  - en
ID  - PORMA_1990__47_3_115715
ER  -