特纳博士。 建构数学、丘奇论文和自由选择序列。 （英语） Zbl 07495191号 De Mol，Liesbeth（编辑）等人，《与可计算性的联系》。第17届欧洲可计算性会议，CiE 2021，虚拟事件，比利时根特，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12813, 446-456 (2021).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.A.Turner}，莱克特。注释计算。科学。12813446-456（2021年；兹bl 07495191） 全文： DOI程序 链接
石原、Hajime；玛丽亚·艾米莉亚·梅埃蒂；萨缪尔·马斯基奥；托马斯·斯特里彻 最低限度基础的内涵层次与丘奇的论点和选择公理的一致性。 （英语） Zbl 1522.03323号 架构（architecture）。数学。逻辑 57，编号7-8，873-888（2018）.MSC公司：03年2月25日 03B38型 30楼03号 03英尺50英寸 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{H.Ishihara}等人，Arch。数学。逻辑57，编号7--8873--888（2018；Zbl 1522.03323） 全文： DOI程序 链接
Farmer，William M。 将引用和评价纳入教会的类型理论。 （英语） Zbl 1390.68168号 Inf.计算。 260, 9-50 (2018).MSC公司：68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer}，信息计算。260，9-50（2018；Zbl 1390.68168） 全文： DOI程序 arXiv公司
亚历山大·拉比诺维奇 用一元谓词展开\（（\mathbb{N}，<）\）的Church问题。 （英语） Zbl 1285.03005号 Inf.计算。 218, 1-16 (2012). 审核人：Mihai Prunescu（布加勒斯特） MSC公司：03B25号 03B15号机组 03C85号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}，Inf.计算。218，1--16（2012；Zbl 1285.03005） 全文： DOI程序
Farmer，William M。 安德鲁斯的类型理论具有不确定性。 （英语） Zbl 1226.03017号 Benzmüller，Christoph（编辑）等人，《简单类型理论中的推理》。庆祝彼得·安德鲁斯70岁生日。伦敦：学院出版物（ISBN 978-1-904987-70-3/pbk）。逻辑研究（伦敦）17。《数学逻辑与基础》，223-242（2008）。MSC公司：03B15号机组 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer}，研究日志。（伦敦）17，223--242（2008；Zbl 1226.03017） 全文： arXiv公司
安德鲁斯，彼得·B·。 关于连接和高阶逻辑。 （英语） 兹伯利1226.03025 Benzmüller，Christoph（编辑）等人，《简单类型理论中的推理》。庆祝彼得·安德鲁斯70岁生日。伦敦：学院出版物（ISBN 978-1-904987-70-3/pbk）。逻辑研究（伦敦）17。《数理逻辑与基础》，187-221（2008）。MSC公司：03B35型 03B15号机组 03B40型 01A75号 PDF格式BibTeX公司 XML格式引用 \textit{P.B.安德鲁斯}，Stud.Log。（伦敦）17，187--221（2008；Zbl 1226.03025）
奥利维尔·赫曼特；詹姆斯·利普顿 直觉主义类型理论中带有公理的割消，并以建设性的方式重写割集。 （英语） Zbl 1226.03061号 Benzmüller，Christoph（编辑）等人，《简单类型理论中的推理》。庆祝彼得·安德鲁斯70岁生日。伦敦：学院出版物（ISBN 978-1-904987-70-3/pbk）。逻辑研究（伦敦）17。《数学逻辑与基础》，115-148（2008）。MSC公司：05年3月 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{O.Hermant}和\textit{J.Lipton}，Stud.Log。（伦敦）17，115--148（2008；Zbl 1226.03061）
Khakhanyan，V.Kh。 教会论文与集合论相等一致性的直观证明。 （英语。俄文原件） Zbl 0835.03018号 俄罗斯数学。 37，第3号，76-78（1993）; Izv的翻译。维什。乌切布。扎韦德。，Mat.1993，第3号（370），78-80（1993）。MSC公司：03E70型 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{V.Kh.Khakhanyan}，俄罗斯数学。37，第3号，76--78（1993；Zbl 0835.03018）；Izv的翻译。维什。乌切布。扎韦德。，材料1993，第3号（370），78-80（1993）
可口、蒂埃里；克里斯汀·波林 归纳定义的类型。 （英语） Zbl 0722.03006号 科罗格-88，Proc。国际会议，塔林/苏联1988年，法律。不是。计算。科学。417, 50-66 (1990). 审核人：P.马特拉纳（普拉哈） MSC公司：03B15号机组 68问题65 PDF格式BibTeX公司 XML格式
安德鲁斯，彼得·B·。 关于连接和高阶逻辑。 （英语） Zbl 0694.03011号 J.自动化。推理 5，第3期，257-291（1989）. 审核人：T.塔米特 MSC公司：03B35型 03B15号机组 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.B.安德鲁斯}，J.Autom。推理5，No.3，257--291（1989；Zbl 0694.03011） 全文： DOI程序
克劳斯·维赫劳赫 可计算性。 （英语） Zbl 0611.03002号 EATCS理论计算机科学专著，第9卷。柏林等：Springer-Verlag。十、 第517页。；DM 98.00（1987）。 审核人：V.Cţlm෧uianu MSC公司：03-02 03-01 03年月日 03D60年 68-02 03D65年 PDF格式BibTeX公司 XML格式
罗伯特·弗拉格。 整合经典和直觉主义类型理论。 （英语） Zbl 0626.03049号 Ann.纯粹应用。逻辑 32, 27-51 (1986).MSC公司：03英尺50英寸 35楼03号 03B15号机组 03B45号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{R.C.Flagg}，Ann.纯应用。逻辑32，27--51（1986；Zbl 0626.03049） 全文： DOI程序
G.F.施瓦兹。 直觉类型理论的一些扩展。 （英语） Zbl 0439.03046号 莫斯克。大学数学。牛市。 34，第3号，32-36（1979）.MSC公司：03楼55 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.F.Schwarz}，莫斯克。大学数学。牛市。34，第3号，32-36（1979；Zbl 0439.03046）
G.F.施瓦兹。 关于直觉主义类型理论的一些扩展。 （俄语） Zbl 0415.03049号 维斯特。莫斯科。州立大学。我 1979年，第3期，31-34（1979）.MSC公司：03楼55 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.F.Schwarz}，维斯特恩。莫斯科。州立大学。I 1979，编号3，31-34（1979；Zbl 0415.03049）
帕维尔·马特拉纳 类型理论和数据描述。 （英语） Zbl 0402.68060号 克贝内提卡，普拉哈 14, 313-327 (1978).MSC公司：68T99型 03B15号机组 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.Materna}，凯贝内提卡14，313--327（1978；Zbl 0402.68060） 全文： 欧洲DML