Partial toposes. Bénabou, Jean; Streicher, Thomas — 2003 Theory and Applications of Categories [electronic only]
Definable completeness Marta Bunge; Mamumka Jibladze; Thomas Streicher — 2004 Cahiers de Topologie et Géométrie Différentielle Catégoriques