法默,威廉·M。 带有部分函数和子类型的简单类型理论。 (英语) Zbl 0837.03003号 Ann.纯粹应用。逻辑 64,第3期,211-240(1993).MSC公司:03B15号机组 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer},Ann.纯应用。逻辑64,编号3211-240(1993;Zbl 0837.003003) 全文: 内政部
法默,威廉·M。 研究可证性问题的统一理论方法。 (英语) Zbl 0735.03001号 Ann.纯粹应用。逻辑 51,第3期,173-214(1991). 审核人:N.Zamov(喀山) MSC公司:03B25号 20层03 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer},Ann.纯苹果。逻辑51,No.3,173--214(1991;Zbl 0735.03001) 全文: 内政部
法默,威廉·M。 二阶一元项的统一算法。 (英语) 兹比尔0655.03004 Ann.纯粹应用。逻辑 39,第2期,131-174(1988). 审核人:C.马萨拉吉 MSC公司:03B15号机组 03C05号机组 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer},Ann.纯苹果。逻辑39,No.2,131--174(1988;Zbl 0655.03004) 全文: 内政部