@第{zbMATH06876402条，作者＝｛Farmer，William M.｝，标题={将引用和评价纳入{Church}的类型理论}，FJournal＝{信息与计算}，日志={Inf.Comput.}，ISSN={0890-5401}，体积={260}，页码={9--50}，年份={2018年}，语言={英语}，DOI={10.1016/j.ic.2018.03.001}，关键词={68N18,03B40}，zbMATH={6876402}，Zbl={1390.68168}}