1. Gambino, N., Aczel, P.: The generalised type-theoretic intepretation of constructive set theory (preprint 2005)
2. Studies in Logic and the Foundations of Mathematics;B. Jacobs,1999
3. Aczel, P.: Predicate logic with dependent sorts or types. Unpublished (2004)
4. Belo, J.F.: Dependently typed predicate logic. Master’s thesis, University of Manchester (2004)
5. Makkai, M.: First order logic with dependent sorts, with applications to category theory. Unpublished (1995)