%0 Journal Article
%A Borceux, Francis
%A Bourn, Dominique
%A Johnstone, Peter
%T Initial normal covers in bi-Heyting toposes
%J Archivum mathematicum
%D 2006
%P 335-356
%V 42
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ARM_2006__42_4_a1/
%G en
%F ARM_2006__42_4_a1