1. The type theoretic interpretation of constructive set theory;Aczel,1978
2. The type theoretic interpretation of constructive set theory: choice principles;Aczel,1982
3. The type theoretic interpretation of constructive set theory: inductive definitions;Aczel,1986
4. P. Aczel, M. Rathjen, Notes on constructive set theory, Technical Report 40, 2000/2001, Mittag-Leffler Institute, Sweden, 2001
5. The lack of definable witnesses and provably recursive functions in intuitionistic set theories;Friedman;Advances in Mathematics,1985