弗洛里安·拉贝;穆勒，丹尼斯 用隐式形态构建理论。 （英语） Zbl 1444.68293号 JoséLuiz（编辑）Fiadeiro等人，代数开发技术的最新趋势。第24届IFIP工作组1.3国际研讨会，2018年7月2日至5日，英国埃格姆，WADT 2018。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11563, 154-173 (2019).MSC公司：68伏30 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}和\textit{D.Müller}，莱克特。注释计算。科学。11563、154--173（2019年；Zbl 1444.68293） 全文： 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公司
雅克·卡雷特;Farmer，William M。;迈克尔·科尔哈斯 领域：巩固数学理论知识的结构。 （英语） Zbl 1304.68169号 Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。《人工智能课堂讲稿》，252-266（2014）。MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}等人，Lect。注释计算。科学。8543，252--266（2014；Zbl 1304.68169） 全文： DOI程序 arXiv公司
弗洛里安·拉贝 结合模型和证明理论的逻辑框架。 （英语） Zbl 1326.03082号 数学。结构。计算。科学。 23，第5期，945-1001（2013）. 审核人：拉兹万·迪亚科内斯库（普洛耶什蒂） MSC公司：03G30型 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}，数学。结构。计算。科学。23，第5号，945--1001（2013；Zbl 1326.03082） 全文： DOI程序