1. The type-theoretic interpretation of constructive set theory;Aczel,1979
2. P. Aczel, Galois: A Theory Development Project, Report for the 1993 Turin meeting on the Representation of Mathematics in Logical Frameworks
3. P. Aczel, Aspects of general topology in constructive set theory, Ann. Pure Appl. Logic (in press) doi:10.1016/j.apal.2005.05.016
4. Constructive Analysis;Bishop,1985
5. Samuel compactification and completion of uniform frames;Banaschewski;Math. Proc. Camb. Phil. Soc.,1990