雅各布·埃梅内格 刚毛中的W型。 (英语) Zbl 1505.03029号 日志。方法计算。科学。 17,第3号,第28号论文,33页(2021年). 审核人:乔纳森·斯特林(奥胡斯) MSC公司:03B38型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Emmenegger},日志。方法计算。科学。17,第3号,第28号论文,33页(2021;Zbl 1505.03029) 全文: arXiv公司 链接
文森特·拉里;马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。 条形归纳法与构造型理论是一致的。 (英语) Zbl 1427.03066号 美国临床医学杂志 66,第2号,第13条,第35页(2019年).MSC公司:03楼50 03B38型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}等人,J.ACM 66,第2号,第13条,第35页(2019年;Zbl 1427.03066) 全文: 内政部
哈贡罗贝斯塔德·吉尔特鲁德 同伦类型理论中从多集合到集合。 (英语) Zbl 1461.03013号 J.塞姆。日志。 83,第3期,1132-1146(2018).MSC公司:03B38型 03E70型 18甲15 55立方英寸35 PDF格式BibTeX公司 XML格式引用 \textit{H.Robbestad Gylterud},J.Symb。日志。83,第3号,1132--1146(2018;Zbl 1461.03013) 全文: 内政部 arXiv公司
史蒂夫·阿沃迪;尼古拉·甘比诺;克里斯蒂娜·索贾科娃 类型理论中的同伦初始代数。 (英语) Zbl 1426.03016号 美国临床医学杂志 63号第6条第51条第45页(2017年).MSC公司:03B38型 03G30型 18立方厘米 55立方英寸35 PDF格式BibTeX公司 XML格式引用 \textit{S.Awodey}et al.,J.ACM 63,No.6,Article No.51,45 p.(2017;Zbl 1426.03016) 全文: 内政部 arXiv公司 链接
本诺·范登伯格 类型理论的三个扩展模型。 (英语) Zbl 1184.03070号 数学。结构。计算。科学。 19,第2期,417-434(2009). 审核人:弗拉基米尔·科门丹斯基(圣安德鲁斯) MSC公司:03G30型 65楼03号 18对25 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{B.van den Berg},数学。结构。计算。科学。19,第2号,417--434(2009;Zbl 1184.03070) 全文: 内政部
迈克尔·阿伯特;托尔斯滕·阿滕柯奇;尼尔·加尼 容器:构造严格的正类型。 (英语) Zbl 1077.68015号 西奥。计算。科学。 342,第1期,3-27(2005).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Abbott}等人,Theor。计算。科学。342,编号1,3--27(2005年;Zbl 1077.68015) 全文: 内政部
默迪克,艾克;埃里克·帕尔姆格伦 种类齐全的树木。 (英语) Zbl 1010.03056号 Ann.纯粹应用。逻辑 104,编号1-3,189-218(2000).MSC公司:03G30型 35楼03号 18甲15 18对25 18立方厘米 18层20 18 C50 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{I.Moerdijk}和\textit{E.Palmgren},Ann.Pure Appl。逻辑104,编号1--3,189-218(2000;Zbl 1010.03056) 全文: 内政部
可口、蒂埃里 类型理论中的树悖论。 (英语) Zbl 0787.03049号 比特币 32,第1期,10-14(1992).MSC公司:35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand},BIT 32,编号1,10--14(1992;Zbl 0787.03049) 全文: 内政部