本诺·范登伯格;理查德·加纳 身份类型的拓扑和简单模型。 （英语） Zbl 1352.03012号 ACM事务处理。计算。日志。 第13号第1条第3条第44页（2012年）. 引用于1审查引用于24文件 MSC公司： 03B15号机组 高阶逻辑；类型理论（MSC2010） 03G30型 分类逻辑，拓扑 18B30型 拓扑空间和连续映射的分类（MSC2010） 55单位40 拓扑范畴，同伦论的基础 关键词：依赖型理论;范畴语义学;同伦理论;身份类型 引文：Zbl 1205.03065号 PDF格式BibTeX公司 XML格式引用 \textit{B.van den Berg}和\textit{R.Garner}，ACM Trans。计算。日志。13，第1号，第3条，第44页（2012；Zbl 1352.03012） 全文： 内政部 arXiv公司