1. Aczel, P. 1974. The strength of Martin-Löf’s type theory with one universe. In Proceedings of the symposium on mathematical logic, Oulu, ed. S. Miettinen and J.J. Vaananen, 1–32.
2. Awodey, S., and M.A. Warren. 2009. Homotopy theoretic models of identity types. Mathematical Proceedings of the Cambridge Philosophical Society 146: 45–55.
3. Awodey, S., P. Hofstra, and M.A. Warren. 2009. Martin-Löf complexes. Submitted, on the arXiv as arXiv:0906.4521.
4. Batanin, M.A. 1998. Monoidal globular categories as a natural environment for the theory of weak n-categories. Advances in Mathematics 136(1): 39–103.
5. Baues, H.-J. 1995. Homotopy types. In Handbook of algebraic topology, ed. I.M. James, 1–72. Amsterdam: North-Holland.