S. Katsumata. Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Seite 633--645. New York, NY, USA, ACM, (2014)
T. Program. (2013)cite http://arxiv.org/abs/1308.0729arxiv:1308.0729Comment: 465 pages. arXiv v1: first-edition-257-g5561b73, formatted for online reading. The most recent version, copies formatted for printing, and bound copies, are available at http://homotopytypetheory.org/book/.
B. Keller. (1999)cite http://arxiv.org/abs/math/9910179arxiv:math/9910179Comment: 30 pages, expanded version, sketches of proofs added, references updated, final version to appear in Homology, Homotopy and Applications.
S. Lack, und R. Street. Journal of Pure and Applied Algebra, 175 (1–3):
243 - 265(2002)Special Volume celebrating the 70th birthday of Professor Max Kelly.
J. Baez, und J. Dolan. (1997)cite http://arxiv.org/abs/q-alg/9702014arxiv:q-alg/9702014Comment: 59 pages LaTex, uses diagram.sty and auxdefs.sty macros, one encapsulated Postscript figure, also available as a compressed Postscript file at http://math.ucr.edu/home/baez/op.ps.Z or ftp://math.ucr.edu/pub/baez/op.ps.Z.