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） 全文： 内政部 arXiv公司
雅克·卡雷特;Farmer，William M。 将数学知识形式化为双形式理论图：案例研究。 （英文） Zbl 1367.68299号 Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-62074-9/pbk；978-3-3169-62075-6/电子书）。计算机科学课程讲稿10383。《人工智能课堂讲稿》，9-24（2017）。MSC公司：68立方英尺 03B15号机组 03B35型 30楼03号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛J.Carette｝和\textit｛W.M.Farmer｝，Lect。注释计算。科学。10383，9--24（2017；Zbl 1367.68299） 全文： 内政部 arXiv公司