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公司
弗洛里安·拉贝;迈克尔·科尔哈斯 可扩展模块系统。 (英语) Zbl 1358.68283号 Inf.计算。 230, 1-54 (2013).MSC公司:68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}和\textit{M.Kohlhase},Inf.Compute。230、1-54(2013年;Zbl 1358.68283) 全文: 内政部