TY  - JOUR
AU  - Borceux, Francis
AU  - Bourn, Dominique
AU  - Johnstone, Peter
TI  - Initial normal covers in bi-Heyting toposes
JO  - Archivum mathematicum
PY  - 2006
SP  - 335
EP  - 356
VL  - 42
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ARM_2006__42_4_a1/
LA  - en
ID  - ARM_2006__42_4_a1
ER  -