G. Friedman. (2008)cite http://arxiv.org/abs/0809.4221arxiv:0809.4221Comment: 57 pages, 32 figures. Further corrections and additions. Section 2 has been reorganized with new material added. Section 5.1 on Simplicial Hom added. Hopefully final version.
M. Bezem, T. Coquand, и S. Huber. 19th International Conference on Types for Proofs and Programs (TYPES 2013), том 26 из Leibniz International Proceedings in Informatics (LIPIcs), стр. 107--128. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2014)