丹尼尔·李卡塔（Daniel R.Licata）。;纪尧姆·布鲁内里 合成同伦理论的立体方法。 （英语） Zbl 1395.55019号 2015年第30届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS 2015，日本京都，2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4799-8875-4）。92-103 (2015). 引用于14文件 MSC公司： 55单位35 代数拓扑中的抽象公理同伦论 03B15号机组 高阶逻辑；类型理论（MSC2010） 03B35型 证明和逻辑操作的机械化 第68页第15页 定理证明（演绎、解析等）（MSC2010） 关键词：类型理论;定理证明 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Licata}和\textit{G.Brunerie}，摘自：2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年LICS，日本京都，2015年7月6日至10日。加利福尼亚州洛斯阿拉米托斯：IEEE计算机协会。92-103（2015；Zbl 1395.55019） 全文： 内政部