1. Aspects of general topology in constructive set theory;Aczel;Annals of Pure and Applied Logic,2006
2. P. Aczel, M. Rathjen, Notes on constructive set theory, Technical Report 40, Mittag-Leffler Institut, The Swedish Royal Academy of Sciences, 2001
3. S. Awodey, C. Butz, A. Simpson, T. Streicher, Relating topos theory and set theory via categories of classes, Technical Report CMU-PHIL-146, Department of Philosophy, Carnegie-Mellon University, 2003
4. Predicative algebraic set theory;Awodey;Theory and applications of categories,2005
5. B. van den Berg, Sheaves for predicative toposes, Archive for Mathematical Logic (in press). Available from ArXiv: LO/0507480