1. Notes on constructive set theory;Aczel,2001
2. Morse set theory as a foundation for constructive mathematics;Alps;Monograph,2018
3. Continuity properties of preference relations;Baroni;Math. Logic Q.,2008
4. Foundations of Constructive Mathematics;Beeson,1985
5. The logical strength of the uniform continuity theorem;Berger,2006