石原、Hajime;玛丽亚·艾米莉亚·梅埃蒂;萨缪尔·马斯基奥;托马斯·斯特里彻 最低限度基础的内涵层次与丘奇的论点和选择公理的一致性。 (英语) Zbl 1522.03323号 架构(architecture)。数学。逻辑 57,编号7-8,873-888(2018).MSC公司:35层03 03B38型 30楼03号 03楼50 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{H.Ishihara}等人,Arch。数学。逻辑57,编号7--8873--888(2018;Zbl 1522.03323) 全文: DOI程序 链接
埃里克·帕尔姆格伦 从相关证据家族构建类刚毛的类别。 (英语) 兹比尔1390.03013 架构(architecture)。数学。逻辑 56,编号1-2,51-66(2017). 审核人:马可·贝尼尼(布奇纳斯科) MSC公司:03年11月15日 18个B05 18B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.Palmgren},拱门。数学。逻辑56,编号1--2,51-66(2017;Zbl 1390.03013) 全文: DOI程序
埃里克·帕尔姆格伦 在类型理论中证明类刚毛家族和身份的相关性。 (英语) Zbl 1241.03005号 架构(architecture)。数学。逻辑 51,编号1-2,35-47(2012).MSC公司:03年11月15日 18个B05 PDF格式BibTeX公司 XML格式引用 \textit{E.Palmgren},拱门。数学。逻辑51,No.1--2,35-47(2012;Zbl 1241.03005) 全文: DOI程序
莫蒂扎·莫尼里 建设性和相对建设性理论的显著递归功能。 (英语) Zbl 1197.03050号 架构(architecture)。数学。逻辑 49,第3期,291-300(2010). 审核人:瓦列里·普利斯科(莫斯科) MSC公司:30楼03号 03楼50 第03页第55页 PDF格式BibTeX公司 XML格式引用 \textit{M.Moniri},拱门。数学。逻辑49,No.3,291--300(2010;Zbl 1197.03050) 全文: DOI程序
川崎捷瑞 轻仿射lambda演算和多项式时间强归一化。 (英语) Zbl 1110.03009号 架构(architecture)。数学。逻辑 46,编号3-4,253-280(2007).MSC公司:03B40型 03B70号 03楼52 2015年3月1日 05年3月 20层03 PDF格式BibTeX公司 XML格式引用 \textit{K.Terui},阿奇。数学。逻辑46,编号3--4,253--280(2007;Zbl 1110.03009) 全文: DOI程序