• DML-CZ Home
• Archivum Mathematicum

Author: Johnstone, Peter

• Borceux, Francis; Bourn, Dominique; Johnstone, Peter: Initial normal covers in bi-Heyting toposes. (English). Archivum Mathematicum, vol. 42 (2006), issue 4, pp. 335-356