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. Peter Aczel, Michael Rathjen, Notes on constructive set theory, Report No. 40, Institut Mittag-Leffler, The Royal Swedish Academy of Sciences, 2001.
5. A predicative completion of a uniform space;Berger;Ann. Pure Appl. Log.,2012