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。 将引用和评价纳入Church的类型理论：句法和语义。 （英语） Zbl 1344.68204号 Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学课程讲稿9791。《人工智能课堂讲稿》，83-98（2016）。MSC公司：68吨15 03年11月15日 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer}，莱克特。注释计算。科学。9791、83-98（2016年；Zbl 1344.68204） 全文： 内政部 arXiv公司