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. Collection principles in dependent type theory;Aczel,2002
5. The generalized type-theoretic interpretation of constructive set theory;Aczel,2005